My favorites | Sign in
Project Logo
                
New issue | Search
for
| Advanced search | Search tips
Issue 6: Erroneous warning of unreachable pattern
1 person starred this issue and may be notified of changes. Back to list
Status:  Fixed
Owner:  superduperhengyuan
Closed:  Dec 2008
Type-Defect
Priority-Medium


Sign in to add a comment
 
Reported by superduperhengyuan, Dec 01, 2008
When a lexer rule/pattern is shared among multiple lexer states, CookCC
erroneously report unreachable statements.

See
http://code.google.com/p/cookcc/source/browse/trunk/tests/java/lexer/states/tight.xcc

It is actually due to the fact that DFA states from another lexer state
have been re-used.

A potential solution to this problem is to eliminate such re-use, resulting
in slightly increased number of DFA states.
Comment 1 by superduperhengyuan, Dec 01, 2008
Fixed by stop sharing dfa state sets.  Resulting slight increase in terms of number
of dfa states.  See http://code.google.com/p/cookcc/source/detail?r=612
Status: Fixed
Sign in to add a comment

Hosted by Google Code