diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-12-14 23:58:59 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-04-29 04:00:45 -0400 |
| commit | 1c3d8c33b10fccd62561047b41dc4c055614637b (patch) | |
| tree | 68be4077f69c9b0e147b4b88e03afe6d991653e6 /gcc | |
| parent | c3b77813eed1060b96f69cc90b761408bcbc6bb0 (diff) | |
| download | gcc-1c3d8c33b10fccd62561047b41dc4c055614637b.zip gcc-1c3d8c33b10fccd62561047b41dc4c055614637b.tar.gz gcc-1c3d8c33b10fccd62561047b41dc4c055614637b.tar.bz2 | |
[Ada] Couple of minor tweaks to Eval_Fat.Succ
gcc/ada/
* eval_fat.adb (Succ): Use Ureal_Half in a couple of places.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/eval_fat.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/eval_fat.adb b/gcc/ada/eval_fat.adb index 69ba742..f2e8e41 100644 --- a/gcc/ada/eval_fat.adb +++ b/gcc/ada/eval_fat.adb @@ -736,7 +736,7 @@ package body Eval_Fat is if Has_Denormals (RT) then Exp := Emin; else - return Scaling (RT, Ureal_1, Emin - 1); + return Scaling (RT, Ureal_Half, Emin); end if; end if; @@ -755,7 +755,7 @@ package body Eval_Fat is if New_Frac = Frac then if New_Frac = Scaling (RT, -Ureal_1, Mantissa - 1) then - New_Frac := New_Frac + Scaling (RT, Ureal_1, Uint_Minus_1); + New_Frac := New_Frac + Ureal_Half; else New_Frac := New_Frac + Ureal_1; end if; |