From 1c3d8c33b10fccd62561047b41dc4c055614637b Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Mon, 14 Dec 2020 23:58:59 +0100 Subject: [PATCH] [Ada] Couple of minor tweaks to Eval_Fat.Succ gcc/ada/ * eval_fat.adb (Succ): Use Ureal_Half in a couple of places. --- gcc/ada/eval_fat.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/eval_fat.adb b/gcc/ada/eval_fat.adb index 69ba7428933a..f2e8e4109d8f 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; -- 2.47.2