diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-03 14:56:33 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-03 14:56:33 +0200 |
| commit | 350354cb01b8008588d66cae7b9b9c4cbf11fd01 (patch) | |
| tree | 243828e2d8c6cd72fd25073c8f11349dcd7d7852 /debug/DwarfTypes.mli | |
| parent | 6fd3edf2c5ec5d4ddefabe7b9be223d08ead31ca (diff) | |
| download | compcert-kvx-350354cb01b8008588d66cae7b9b9c4cbf11fd01.tar.gz compcert-kvx-350354cb01b8008588d66cae7b9b9c4cbf11fd01.zip | |
Added a fast test for too large exponents too avoid never ending computations.
Diffstat (limited to 'debug/DwarfTypes.mli')
0 files changed, 0 insertions, 0 deletions