diff options
author | Michael Schmidt <github@mschmidt.me> | 2019-03-20 20:16:21 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-03-20 20:16:21 +0100 |
commit | c85e957812d4581f17a534f3754c555a6a2a2243 (patch) | |
tree | b665a02980af7e2fb64d8d8bfd9ca482d653ee2b /backend/Constprop.v | |
parent | 72ba1c282e2a8bfd0e826352a251fa71bfb71e05 (diff) | |
download | compcert-c85e957812d4581f17a534f3754c555a6a2a2243.tar.gz compcert-c85e957812d4581f17a534f3754c555a6a2a2243.zip |
Improve overflow check for integer literals (#157)
The previous check was incomplete for integer literals in base 10.
Bug 26119
Diffstat (limited to 'backend/Constprop.v')
0 files changed, 0 insertions, 0 deletions