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 /cparser/ExtendedAsm.ml | |
| 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 'cparser/ExtendedAsm.ml')
0 files changed, 0 insertions, 0 deletions