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 /x86 | |
| parent | 39710f78062a4a999c079b58181a58e62b78c30b (diff) | |
| download | compcert-kvx-9eccbd39710aab5d6bfe021c57f50a1916d37f70.tar.gz compcert-kvx-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 'x86')
0 files changed, 0 insertions, 0 deletions