aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Ceval.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bschommer@users.noreply.github.com>2018-05-24 19:11:08 +0200
committerXavier Leroy <xavierleroy@users.noreply.github.com>2018-05-24 19:11:08 +0200
commitca26f4513b62f94c13a1bbc487014e306a5a8ebe (patch)
tree42053d58e41a33e934346a53c715f25166cd23f9 /cparser/Ceval.ml
parent93a0d21e67d2f8fe978bffec7d7036e866b44f04 (diff)
downloadcompcert-kvx-ca26f4513b62f94c13a1bbc487014e306a5a8ebe.tar.gz
compcert-kvx-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 'cparser/Ceval.ml')
0 files changed, 0 insertions, 0 deletions