Commit 9eccbd39 authored by Xavier Leroy's avatar Xavier Leroy
Browse files

Support `# 0 ...` preprocessed line directive

Before, the line number had to start with a nonzero digit.  However,
the GCC 11 preprocessor was observed to produce `# 0 ...` directives.

Fixes: #398
parent 39710f78
......@@ -393,7 +393,7 @@ and string_literal startp accu = parse
(* We assume gcc -E syntax but try to tolerate variations. *)
and hash = parse
| whitespace_char_no_newline +
(decimal_constant as n)
(digit + as n)
whitespace_char_no_newline *
"\"" ([^ '\n' '\"']* as file) "\""
[^ '\n']* '\n'
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment