catch nested /* in comments

This commit is contained in:
Bill Currie 2007-04-06 06:31:47 +00:00 committed by Jeff Teunissen
parent ff0144f870
commit 8079c9951c

View file

@ -104,6 +104,7 @@ m ([\-+]?)
%%
"/*" { BEGIN (comment); }
<comment>"/*" { warning (0, "nested /* in comment"); }
<comment>"*/" { BEGIN (INITIAL); }
<comment>\r*\n { pr.source_line++; }
<comment>. /* nothing to do */