OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Couple of minor tweaks to Eval_Fat.Succ 

gcc/ada/

	* eval_fat.adb (Succ): Use Ureal_Half in a couple of places.
This commit is contained in:
Eric Botcazou 2020-12-14 23:58:59 +01:00 committed by Pierre-Marie de Rodat
parent c3b77813ee
commit 1c3d8c33b1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/eval_fat.adb
View File

@ -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;