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 /cparser/validator/Alphabet.v | |
parent | b1e584557d2c5ef8422694ea6453f537dbd1573a (diff) | |
download | compcert-3c6f5343e0e64b273658b6b3508a8dd6c29b8cef.tar.gz compcert-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 'cparser/validator/Alphabet.v')
0 files changed, 0 insertions, 0 deletions