diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-05-24 19:11:08 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-05-24 19:11:08 +0200 |
commit | ca26f4513b62f94c13a1bbc487014e306a5a8ebe (patch) | |
tree | 42053d58e41a33e934346a53c715f25166cd23f9 /driver/Commandline.ml | |
parent | 93a0d21e67d2f8fe978bffec7d7036e866b44f04 (diff) | |
download | compcert-ca26f4513b62f94c13a1bbc487014e306a5a8ebe.tar.gz compcert-ca26f4513b62f94c13a1bbc487014e306a5a8ebe.zip |
Define the C11 type max_align_t (#115)
The definition is similar to that of gcc, however since we don't support
long doubles out of the box and long doubles are doubles in compat mode
we can directly define max_align_t to be long long.
Bug 23380
Diffstat (limited to 'driver/Commandline.ml')
0 files changed, 0 insertions, 0 deletions