diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-02-11 18:43:24 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-02-12 12:28:55 +0100 |
commit | 9b881b7928ab7d21e9981133bef5b26e33b6cd9d (patch) | |
tree | 30c0228aa0c78808d3e9cf5efd5d7e64d4c1cbf0 /arm/Constantexpand.ml | |
parent | 6ca9f9bfc7119f1ca4f48de3b5a37cbaee07e4fd (diff) | |
download | compcert-9b881b7928ab7d21e9981133bef5b26e33b6cd9d.tar.gz compcert-9b881b7928ab7d21e9981133bef5b26e33b6cd9d.zip |
Take the sign into account for int to ptr cast.
Casting from an integer constant to pointer on 64 bit
architectures did not take the signedness into account and always
interpreted the integer as unsigned which causes some
incompatibility with libc implementations.
Diffstat (limited to 'arm/Constantexpand.ml')
0 files changed, 0 insertions, 0 deletions