Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Bug] Scanner doesn't take care of zzFin [sf#110] #112

Closed
lsf37 opened this issue Feb 15, 2015 · 4 comments
Closed

[Bug] Scanner doesn't take care of zzFin [sf#110] #112

lsf37 opened this issue Feb 15, 2015 · 4 comments
Labels
bug Not working as intended
Milestone
1.5.0

Comments

@lsf37
Copy link
Member

lsf37 commented Feb 15, 2015

*Reported by anonymous on 2010-10-15 10:30 UTC
I set value of bufer 128 and catch bug with lookahead-regexp. I think jflex has some problem with array zzFin. It doesn't take care of zzFin array while refiling zzBuffer.
@lsf37 lsf37 changed the title Scanner doesn't take care of zzFin [Bug] Scanner doesn't take care of zzFin [sf#110] Feb 15, 2015
@lsf37 lsf37 added this to the jflex bug milestone Feb 15, 2015
@lsf37 lsf37 closed this as completed Feb 15, 2015
@lsf37
Copy link
Member Author

lsf37 commented Feb 15, 2015

Updated by lsf37 on 2010-10-17 02:39 UTC

  • labels: --> backend/codegen
  • assigned_to: nobody --> lsf37

@lsf37
Copy link
Member Author

lsf37 commented Feb 15, 2015

Commented by steve_rowe on 2013-12-21 23:14 UTC
I committed a fix in r723. See https://sourceforge.net/p/jflex/bugs/118/

@lsf37
Copy link
Member Author

lsf37 commented Feb 15, 2015

Updated by lsf37 on 2014-01-16 06:49 UTC

  • status: open --> open-fixed

@lsf37
Copy link
Member Author

lsf37 commented Feb 15, 2015

Updated by lsf37 on 2014-03-01 00:26 UTC

  • status: open-fixed --> closed

@lsf37 lsf37 added bug Not working as intended and removed bug Not working as intended labels Feb 17, 2015
@lsf37 lsf37 modified the milestone: jflex bug Feb 17, 2015
@regisd regisd added this to the 1.5.0 milestone Nov 4, 2017
@sfauvel sfauvel mentioned this issue Aug 3, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Not working as intended
Projects
None yet
Milestone
1.5.0
Development

No branches or pull requests
2 participants
@regisd @lsf37