glsl/glcpp: Add flex options to eliminate the default rule.
authorCarl Worth <cworth@cworth.org>
Tue, 1 Jul 2014 22:04:38 +0000 (15:04 -0700)
committerCarl Worth <cworth@cworth.org>
Tue, 29 Jul 2014 22:11:51 +0000 (15:11 -0700)
commitbc8721f16f2f4a08e6ad935723cc52de1748b63f
treeb3d910733941590a1ecdc8aeedc1ff5fcff0a751
parent4ebff9bca638d96b562640c093b2dcc5d02fb443
glsl/glcpp: Add flex options to eliminate the default rule.

We've had multiple bugs in the past where we have been inadvertently matching
the default rule, (which we never want to do). We recently added a catch-all
rule to avoid this, (and made this rule robust for future start conditions).

Kristian pointed out that flex allows us to go one step better. This syntax:

%option warn nodefault

instructs flex to not generate the default rule at all. Further, flex will
generate a warning at compile time if the set of rules we provide are
inadequate, (such that it would be possible for the default rule to be
matched).

With this warning in place, I found that the catch-all rule was in fact
missing something. The catch-all rule uses a pattern of "." which doesn't
match newlines. So here we extend the newline-matching rule to all start
conditions. That is enough to convince flex that it really doesn't need
any default rule.

Reviewed-by: Kenneth Graunke <kenneth@whitecape.org>
Reviewed-by: Kristian Høgsberg <krh@bitplanet.net>
src/glsl/glcpp/glcpp-lex.l