Work around some false positives found by Coverity Scan.

[nageru] / httpd.cpp

diff --git a/httpd.cpp b/httpd.cpp
index 29923f9430413ee5dec3175e0aaae42a7f257cf1..3eda2a1e34b5d9fc7e62479d6a53ffe9612e3679 100644 (file)
--- a/httpd.cpp
+++ b/httpd.cpp
@@ -51,6 +51,7 @@ void HTTPD::open_output_file(const string &filename)
 {
        AVFormatContext *avctx = avformat_alloc_context();
        avctx->oformat = av_guess_format(NULL, filename.c_str(), NULL);
+       assert(filename.size() < sizeof(avctx->filename) - 1);
        strcpy(avctx->filename, filename.c_str());
 
        string url = "file:" + filename;