From 59ec8529e1a7c8dcf1309e1fdbd6ff513bd4601f Mon Sep 17 00:00:00 2001 From: Luis Ontanon Date: Sat, 11 Mar 2006 12:07:00 +0000 Subject: Mark coverity CID 117 as a false positive. Lex code is often hard for humans to understand... neither of the error conditions found would be happening... One was marked as error because coverity does not understand that yyterminate() breaks execution. The other marked as an error because coverity is not able to figure out that the error appears in an actions against two different rules that will not ever match toghether. svn path=/trunk/; revision=17584 --- plugins/mate/mate_parser.l | 2 ++ 1 file changed, 2 insertions(+) (limited to 'plugins/mate') diff --git a/plugins/mate/mate_parser.l b/plugins/mate/mate_parser.l index 5c4e7a322d..5d8818e331 100644 --- a/plugins/mate/mate_parser.l +++ b/plugins/mate/mate_parser.l @@ -147,6 +147,7 @@ blk_cmnt_stop "*/" if (!yyin) { yy_delete_buffer( YY_CURRENT_BUFFER ); + /* coverity[negative_sink] */ yy_switch_to_buffer(include_stack[--include_stack_ptr] ); if (errno) @@ -167,6 +168,7 @@ blk_cmnt_stop "*/" } <> { + /* coverity[check_after_sink] */ if ( --include_stack_ptr < 0 ) { yyterminate(); } else { -- cgit v1.2.1