diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-28 15:38:44 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-28 15:38:44 +0100 |
| commit | 774977824161f43104f1d31123a0e082395f0fe1 (patch) | |
| tree | 75f9b17e627720e41b3b7dcf7c026a895d4936fe /cparser/Cutil.ml | |
| parent | 2fd25fea96ecb39d2792f463b60fb39594fc75be (diff) | |
| download | compcert-774977824161f43104f1d31123a0e082395f0fe1.tar.gz compcert-774977824161f43104f1d31123a0e082395f0fe1.zip | |
Do test for wrap around on singed ocaml integers.
In parse_int it was not tested if the value of v is smaller than
zero. This allowed it that certain large integers were accepted
due to wrap around.
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions