diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-05-06 17:32:44 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-10 14:42:32 +0200 |
| commit | df81fb38c941852919246371840c5fdb003ad0fb (patch) | |
| tree | 5c6b2d60571ab69f2998db68d52f9d5ad2612ed9 /debug | |
| parent | 02d8736514c3c9c1542f50b07524f4ffa0588cb8 (diff) | |
| download | compcert-kvx-df81fb38c941852919246371840c5fdb003ad0fb.tar.gz compcert-kvx-df81fb38c941852919246371840c5fdb003ad0fb.zip | |
Check for reserved keywords.
`_Complex` and `_Imaginary` are reserved keywords. Since CompCert does
not support these types they could be used as identifiers. However
the standard requires to reject this.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions