summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorDave Beckett <dave@dajobe.org>2014-04-20 12:23:09 -0700
committerDave Beckett <dave@dajobe.org>2014-04-20 12:23:09 -0700
commit5eef40b29d8752acfd455441d93dc38267dabdad (patch)
treee548ad1e47848e0ba25ebf8dde905fdcfb45eae6 /scripts
parentfe98eefab03369fd53cb589a3294d75cb1361579 (diff)
downloadraptor-5eef40b29d8752acfd455441d93dc38267dabdad.tar.gz
Remove dead code after YY_INPUT - which is a return NULL [coverity CID 29302]
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/fix-flex10
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;
}