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 /backend/SplitLong.vp | |
parent | d5e332e8bc07ad2a67cc2878e620c02286b27142 (diff) | |
download | compcert-361726e23dc8ad15a61788349184e7790bec42c9.tar.gz compcert-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 'backend/SplitLong.vp')
0 files changed, 0 insertions, 0 deletions