summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
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;
}