diff options
author | roconnor-blockstream <roconnor@blockstream.com> | 2021-10-16 04:21:38 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-16 10:21:38 +0200 |
commit | a420914d237c96d0c5cd3a9055a0338c0d6805d4 (patch) | |
tree | 43c9e4678360d4f0f6de29b2d6a3e1ff6a1be28a /cparser/Cleanup.mli | |
parent | d04d3963f9d095f5e444226e6d62bc5fc5e4921b (diff) | |
download | compcert-a420914d237c96d0c5cd3a9055a0338c0d6805d4.tar.gz compcert-a420914d237c96d0c5cd3a9055a0338c0d6805d4.zip |
Explicitly remove __SIZEOF_INT128__ macro definition. (#419)
CompCert does not support 128-bit integers, but the gcc and clang preprocessors do include support as part of its 'built-in'.
A common way of testing for 128-bit integer support is to check to see if `__SIZEOF_INT128__` is defined.
Eliminating this macro prevents software from believing that 128-bit integers are supported.
Diffstat (limited to 'cparser/Cleanup.mli')
0 files changed, 0 insertions, 0 deletions