aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2024-11-26 21:20:08 +0100
committerMarc Poulhiès <dkm@gcc.gnu.org>2024-12-13 09:36:00 +0100
commit83b250bf58f681aff7a6856579cfd89e759b2a93 (patch)
tree78f242c1d454e8f9ea94b2e9f814cfa54f3eebfd /gcc/value-range.cc
parent3ea199a18919585285745c1c71cf9cb53a17d689 (diff)
downloadgcc-83b250bf58f681aff7a6856579cfd89e759b2a93.zip
gcc-83b250bf58f681aff7a6856579cfd89e759b2a93.tar.gz
gcc-83b250bf58f681aff7a6856579cfd89e759b2a93.tar.bz2
ada: Remove implicit assumption in the double case
The assumption is fulfilled in all the instantiations of the package, but it should not be made in the generic code. gcc/ada/ChangeLog: * libgnat/s-imager.adb (Set_Image_Real): In the case where a double integer is needed, do not implicit assume that it can contain up to 'Digits of the floating-point type.
Diffstat (limited to 'gcc/value-range.cc')
0 files changed, 0 insertions, 0 deletions