diff options
author | Dave Beckett <dave@dajobe.org> | 2014-04-20 12:23:09 -0700 |
---|---|---|
committer | Dave Beckett <dave@dajobe.org> | 2014-04-20 12:23:09 -0700 |
commit | 5eef40b29d8752acfd455441d93dc38267dabdad (patch) | |
tree | e548ad1e47848e0ba25ebf8dde905fdcfb45eae6 /scripts | |
parent | fe98eefab03369fd53cb589a3294d75cb1361579 (diff) | |
download | raptor-5eef40b29d8752acfd455441d93dc38267dabdad.tar.gz |
Remove dead code after YY_INPUT - which is a return NULL [coverity CID 29302]
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/fix-flex | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/fix-flex b/scripts/fix-flex index edc01cc8..8fd557ee 100755 --- a/scripts/fix-flex +++ b/scripts/fix-flex @@ -128,5 +128,15 @@ EOT } } + if($cur_function eq 'yy_get_next_buffer') { + if(!exists($fn_state{'seen_yyinput'}) && + m%^\s*YY_INPUT\(%) { + $fn_state{'seen_yyinput'} = 1; + } elsif(exists($fn_state{'seen_yyinput'})) { + # Remove dead code after YY_INPUT - which is a return NULL + s%^\s*YY_CURRENT_BUFFER_LVALUE->yy_n_chars\s*=\s*yyg->yy_n_chars;%%; + } + } + print; } |