diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-16 15:53:06 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-16 15:53:06 +0100 |
commit | 9b63d90b40974eed35bd199fcfc6ccbabb1ed5b7 (patch) | |
tree | c5937772c4a783fae8f0306b62dec1a6a5f39ec1 /runtime/c/i64_dtou.c | |
parent | 380ef884523013fd02fe1c52b05d3b2a5b0b8818 (diff) | |
download | compcert-9b63d90b40974eed35bd199fcfc6ccbabb1ed5b7.tar.gz compcert-9b63d90b40974eed35bd199fcfc6ccbabb1ed5b7.zip |
Reverted changes in Cutil and catch in Cflow.
Instead of changing the definition of sizeof we now ignore errors
raise in the Cflow module.
Bug 21005
Diffstat (limited to 'runtime/c/i64_dtou.c')
0 files changed, 0 insertions, 0 deletions