diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/exp_util.adb | 5 | ||||
-rw-r--r-- | gcc/ada/libgnat/s-fatgen.adb | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 86e46ea..21098b7 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -6477,9 +6477,7 @@ package body Exp_Util is Loc : constant Source_Ptr := Sloc (Var); Ent : constant Entity_Id := Entity (Var); - procedure Process_Current_Value_Condition - (N : Node_Id; - S : Boolean); + procedure Process_Current_Value_Condition (N : Node_Id; S : Boolean); -- N is an expression which holds either True (S = True) or False (S = -- False) in the condition. This procedure digs out the expression and -- if it refers to Ent, sets Op and Val appropriately. @@ -6540,6 +6538,7 @@ package body Exp_Util is -- Recursively process AND and AND THEN branches Process_Current_Value_Condition (Left_Opnd (Cond), True); + pragma Assert (Op'Valid); if Op /= N_Empty then return; diff --git a/gcc/ada/libgnat/s-fatgen.adb b/gcc/ada/libgnat/s-fatgen.adb index d297451..512b7b2 100644 --- a/gcc/ada/libgnat/s-fatgen.adb +++ b/gcc/ada/libgnat/s-fatgen.adb @@ -653,6 +653,8 @@ package body System.Fat_Gen is if Adjustment > IEEE_Emax - Exp then XX := 0.0; return (if Minus then -1.0 / XX else 1.0 / XX); + pragma Annotate + (CodePeer, Intentional, "divide by zero", "Infinity produced"); -- Check for underflow |