glcpp: Fix handling of "#line 0"
authorCarl Worth <cworth@cworth.org>
Mon, 23 Aug 2010 16:31:42 +0000 (09:31 -0700)
committerCarl Worth <cworth@cworth.org>
Mon, 23 Aug 2010 17:48:10 +0000 (10:48 -0700)
commitc2280e63817238bb969b20605c7d8dab4ddf1721
tree3bbe17a4792a834c63cbb75a6bdd11e10ce16cf8
parentff10d239af3b48f4ba13a0ef947e97d3302ea818
glcpp: Fix handling of "#line 0"

The existing DECIMAL_INTEGER pattern is the correct thing to use when
looking for a C decimal integer, (that is, a digit-sequence not
starting with 0 which would instead be an octal integer).

But for #line, we really want to accept any digit sequence, (including
"0"), and always interpret it as a decimal constant. So we add a new
DIGITS pattern for this case.

This should fix the compilation failure noted in bug #28138

https://bugs.freedesktop.org/show_bug.cgi?id=28138

(Though the generated file will not be updated until the next commit.)
src/glsl/glcpp/glcpp-lex.l