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 /backend/CMlexer.mll | |
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 'backend/CMlexer.mll')
0 files changed, 0 insertions, 0 deletions