[Ada] Couple of minor tweaks to Eval_Fat.Succ

gcc/ada/

	* eval_fat.adb (Succ): Use Ureal_Half in a couple of places.

diff --git a/gcc/ada/eval_fat.adb b/gcc/ada/eval_fat.adb
index 69ba7428933a4006b06454ea3fbb2b3d6de5bf7d..f2e8e4109d8f8e03dbcf3a2982420eafa17ba93b 100644 (file)
--- 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;