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 /runtime/x86_32/i64_dtou.S | |
parent | 02d8736514c3c9c1542f50b07524f4ffa0588cb8 (diff) | |
download | compcert-df81fb38c941852919246371840c5fdb003ad0fb.tar.gz compcert-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 'runtime/x86_32/i64_dtou.S')
0 files changed, 0 insertions, 0 deletions