diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-04-06 14:48:47 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-06 14:48:47 +0200 |
commit | df7b43a096e9a274b5b3ba8ca85275c637557c12 (patch) | |
tree | ff810640608a3d65f1ec362f4b546a0a014b56ea /cparser/Cleanup.ml | |
parent | df1024c6ac6e065d44023df5208bd2b5d9fbec5f (diff) | |
download | compcert-df7b43a096e9a274b5b3ba8ca85275c637557c12.tar.gz compcert-df7b43a096e9a274b5b3ba8ca85275c637557c12.zip |
Define C11 conditional feature macros (#77)
These macros can be defined to indicate that variable length
arrays, the _Complex type, atomics and threads are not supported.
Since the _Complex type is not supported, we also need
to undefine __STDC_IEC_559_COMPLEX__
Bug 23408
Diffstat (limited to 'cparser/Cleanup.ml')
0 files changed, 0 insertions, 0 deletions