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 /lib/Heaps.v | |
| parent | 72ba1c282e2a8bfd0e826352a251fa71bfb71e05 (diff) | |
| download | compcert-kvx-c85e957812d4581f17a534f3754c555a6a2a2243.tar.gz compcert-kvx-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 'lib/Heaps.v')
0 files changed, 0 insertions, 0 deletions