Open SouravKB opened 1 year ago
Which flex options (if any) should we use to reproduce this?
What do you expect to be on the input stream after yyless(0)?
Thanks! This will help with adding regression tests to the suite!
It need not be yyless(0)
. Any call to yyless(n)
after a call to input()
will result in a bug.
In the above example, after call to yyless(0)
, I expect input stream to as it was before matching the rule, i.e. ayz
. But due to bug, it is containing azz
.
I have not used any flex options while reproducing the bug.
Thanks! I understand.
Last question: did this work differently in a previously released version of flex? (Just makes a difference in how the issue is categorized.)
I haven't used flex much. Also, my codebase didn't contain input()
followed by yylex()
till today. So I can't answer that question.
Copy that. No worries.
Glad to help. Related issue #395, in input()
function. Both has to be fixed to get expected value in input stream as mentioned above. In documentation, it is not clear weather input()
modifies yytext
and yyleng
.
This sample scanner with input
ayz
should never match rule 2.But after matching 'a' inside rule 1, calling
input()
returns 'y'. It incrementsyy_c_buf_p
to point to 'z', and character atyy_c_buf_p
, i.e. 'z' intoyy_hold_char
. Butyyless
macro is using outdated variableyy_cp
to restore theyy_hold_char
, which replaces it in a different position essentially causing duplication of character held byyy_hold_char
.Now the buffer contains
azz
which would erroneously match rule 2.