From 2224729c890681365d1844e102d7db114e2251cc Mon Sep 17 00:00:00 2001
From: Eric Botcazou <ebotcazou@adacore.com>
Date: Thu, 26 Nov 2020 15:58:24 +0100
Subject: [PATCH] [Ada] Small adjustment to System.Val_Real
gcc/ada/
* libgnat/s-valrea.adb (Integer_to_Real): Always use Extra.
---
gcc/ada/libgnat/s-valrea.adb | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/gcc/ada/libgnat/s-valrea.adb b/gcc/ada/libgnat/s-valrea.adb
index 1add4e9a6a9f..a4afc90bb738 100644
--- a/gcc/ada/libgnat/s-valrea.adb
+++ b/gcc/ada/libgnat/s-valrea.adb
@@ -82,13 +82,12 @@ package body System.Val_Real is
System.Float_Control.Reset;
end if;
- -- Take into account the extra digit near the limit to avoid anomalies
+ -- Take into account the extra digit
- if Extra > 0 and then Val <= Precision_Limit / Uns (Base) then
- R_Val := Num (Val * Uns (Base)) + Num (Extra);
+ R_Val := Num (Val);
+ if Extra > 0 then
+ R_Val := R_Val * Num (Base) + Num (Extra);
S := S - 1;
- else
- R_Val := Num (Val);
end if;
-- Compute the final value
--
GitLab