diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-10-30 11:23:49 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-26 03:40:02 -0500 |
| commit | e3068952d7540c51764d1e4e31ef8988492064cf (patch) | |
| tree | f297301bff3f641694254cd77293d29b7fb01ad2 /gcc | |
| parent | 678e19545eb22d3661d83641884f88fa5038a088 (diff) | |
| download | gcc-e3068952d7540c51764d1e4e31ef8988492064cf.zip gcc-e3068952d7540c51764d1e4e31ef8988492064cf.tar.gz gcc-e3068952d7540c51764d1e4e31ef8988492064cf.tar.bz2 | |
[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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/libgnat/a-nbnbre.adb | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/libgnat/a-nbnbre.adb b/gcc/ada/libgnat/a-nbnbre.adb index 8459539..ff5b448 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; ------------------- |