diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-25 11:43:28 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-25 11:43:28 +0200 |
| commit | 3c6f5343e0e64b273658b6b3508a8dd6c29b8cef (patch) | |
| tree | d81a00d4e0fe452d0f695bf8f13cf2f81df6f1c6 /driver/Configuration.ml | |
| parent | b1e584557d2c5ef8422694ea6453f537dbd1573a (diff) | |
| download | compcert-kvx-3c6f5343e0e64b273658b6b3508a8dd6c29b8cef.tar.gz compcert-kvx-3c6f5343e0e64b273658b6b3508a8dd6c29b8cef.zip | |
Warn if a nonzero FP literal converts to infinity (overflow) or to 0 (underflow).
Also: spurious '\n' in C2C.warning.
Diffstat (limited to 'driver/Configuration.ml')
0 files changed, 0 insertions, 0 deletions