diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-22 17:05:16 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-22 17:05:16 +0200 |
| commit | 361726e23dc8ad15a61788349184e7790bec42c9 (patch) | |
| tree | 15d71e327104edd9ad17fda377c237c583abfba4 /x86_64 | |
| parent | d5e332e8bc07ad2a67cc2878e620c02286b27142 (diff) | |
| download | compcert-kvx-361726e23dc8ad15a61788349184e7790bec42c9.tar.gz compcert-kvx-361726e23dc8ad15a61788349184e7790bec42c9.zip | |
Use exact arithmetic for printing positive numbers
And also for the computations in name_temporary.
Overflowing OCaml's integer types is unlikely in actual use but
happened in the past owing to another mistake (see issue #370).
Diffstat (limited to 'x86_64')
0 files changed, 0 insertions, 0 deletions