diff options
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; } |