Commit ddec0ec0 authored by Ian Lynagh's avatar Ian Lynagh

Don't restrict filenames in line pragmas to printable characters; fixes #4207

"printable" is ASCII-only, whereas in other locales we can get things like
# 1 "<línea-de-orden>"
parent 6c4bd4a6
......@@ -74,7 +74,7 @@ $white_no_nl+ ;
-- single-line line pragmas, of the form
-- # <line> "<file>" <extra-stuff> \n
<line_prag> $digit+ { setLine line_prag1 }
<line_prag1> \" ($printable # \")* \" { setFile line_prag2 }
<line_prag1> \" [^\"]* \" { setFile line_prag2 }
<line_prag2> .* { pop }
<0> {
......
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