commit 3703a0235c7929982f121c494b4601690e11ace1
Author: Richard Heck <[email protected]>
Date:   Sat Jun 11 23:13:01 2016 -0400

    False positive on coverity #23366.

diff --git a/src/insets/InsetExternal.cpp b/src/insets/InsetExternal.cpp
index 9b9f85c..5a7a07a 100644
--- a/src/insets/InsetExternal.cpp
+++ b/src/insets/InsetExternal.cpp
@@ -376,6 +376,8 @@ bool InsetExternalParams::read(Buffer const & buffer, Lexer 
& lex)
 
        if (lyxerr.debugging(Debug::EXTERNAL)) {
                lyxerr  << "InsetExternalParams::read:\n";
+               // false positive
+               // coverity[NEGATIVE_RETURNS]
                write(buffer, lyxerr);
        }
 

Reply via email to