diff options
| author | Luis Ontanon <luis.ontanon@gmail.com> | 2006-03-11 12:07:00 +0000 |
|---|---|---|
| committer | Luis Ontanon <luis.ontanon@gmail.com> | 2006-03-11 12:07:00 +0000 |
| commit | 59ec8529e1a7c8dcf1309e1fdbd6ff513bd4601f (patch) | |
| tree | 331489198d60515fc58e8e3a7b00313961894088 /plugins/mate | |
| parent | 90bec589e86c30b272ecbafac20061d25762927c (diff) | |
| download | wireshark-59ec8529e1a7c8dcf1309e1fdbd6ff513bd4601f.tar.gz | |
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
Diffstat (limited to 'plugins/mate')
| -rw-r--r-- | plugins/mate/mate_parser.l | 2 |
1 files changed, 2 insertions, 0 deletions
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 "*/" } <<EOF>> { + /* coverity[check_after_sink] */ if ( --include_stack_ptr < 0 ) { yyterminate(); } else { |