From: Arnaud Charlet <charlet@adacore.com>
Date: Fri, 30 Oct 2020 15:23:49 +0000 (-0400)
Subject: [Ada] Ada.Numerics.Big_Numbers.Big_Reals.To_Big_Real looses precision
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e3068952d7540c51764d1e4e31ef8988492064cf;p=gcc.git

[Ada] Ada.Numerics.Big_Numbers.Big_Reals.To_Big_Real looses precision

gcc/ada/

	* libgnat/a-nbnbre.adb (To_Big_Real): Do not loose precision.
---

diff --git a/gcc/ada/libgnat/a-nbnbre.adb b/gcc/ada/libgnat/a-nbnbre.adb
index 8459539d212..ff5b4488381 100644
--- a/gcc/ada/libgnat/a-nbnbre.adb
+++ b/gcc/ada/libgnat/a-nbnbre.adb
@@ -32,6 +32,7 @@
 --  This is the default version of this package, based on Big_Integers only.
 
 with Ada.Strings.Text_Output.Utils;
+with System.Img_Real; use System.Img_Real;
 
 package body Ada.Numerics.Big_Numbers.Big_Reals is
 
@@ -122,8 +123,15 @@ package body Ada.Numerics.Big_Numbers.Big_Reals is
       -----------------
 
       function To_Big_Real (Arg : Num) return Valid_Big_Real is
+         S : String (1 .. Max_Real_Image_Length);
+         P : Natural := 0;
       begin
-         return From_String (Arg'Image);
+         --  Use Long_Long_Unsigned'Width - 1 digits = 20 which is sufficient
+         --  for the largest floating point format.
+
+         Set_Image_Real
+           (Long_Long_Float (Arg), S, P, Fore => 1, Aft => 20, Exp => 5);
+         return From_String (S (1 .. P));
       end To_Big_Real;
 
       -------------------