aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2024-11-26 11:25:54 +0100
committerMarc Poulhiès <dkm@gcc.gnu.org>2024-12-13 09:35:59 +0100
commit3ea199a18919585285745c1c71cf9cb53a17d689 (patch)
tree08dbfeeabb4d956d521dcccfa10c1578e4f60297 /gcc/value-range.cc
parentd136fa00f0d5faff8397edcd7e4ebb3445ab21b0 (diff)
downloadgcc-3ea199a18919585285745c1c71cf9cb53a17d689.zip
gcc-3ea199a18919585285745c1c71cf9cb53a17d689.tar.gz
gcc-3ea199a18919585285745c1c71cf9cb53a17d689.tar.bz2
ada: Adjust cut-off for scaling of floating-point numbers
The value needs to take into account denormals and encompass Maxdigs. gcc/ada/ChangeLog: * libgnat/s-imager.adb (Maxscaling): Change to Natural constant and add Maxdigs to value.
Diffstat (limited to 'gcc/value-range.cc')
0 files changed, 0 insertions, 0 deletions