diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-06-01 14:40:30 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-06-01 14:40:30 +0200 |
commit | 9eccbd39710aab5d6bfe021c57f50a1916d37f70 (patch) | |
tree | c35b886a25269892e896dcb7494e624a5944c639 /test/raytracer | |
parent | 39710f78062a4a999c079b58181a58e62b78c30b (diff) | |
download | compcert-9eccbd39710aab5d6bfe021c57f50a1916d37f70.tar.gz compcert-9eccbd39710aab5d6bfe021c57f50a1916d37f70.zip |
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
Diffstat (limited to 'test/raytracer')
0 files changed, 0 insertions, 0 deletions