diff options
Diffstat (limited to 'gcc/ada/checks.adb')
-rw-r--r-- | gcc/ada/checks.adb | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index b2e779c99e6..929bdc535d9 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -1037,17 +1037,12 @@ package body Checks is -- operation on signed integers on which the expander can promote -- later the operands to type Integer (see Expand_N_Type_Conversion). - -- Special case CLI target, where arithmetic overflow checks can be - -- performed for integer and long_integer - if Backend_Overflow_Checks_On_Target or else not Do_Overflow_Check (N) or else not Expander_Active or else (Present (Parent (N)) and then Nkind (Parent (N)) = N_Type_Conversion and then Integer_Promotion_Possible (Parent (N))) - or else - (VM_Target = CLI_Target and then Siz >= Standard_Integer_Size) then return; end if; @@ -5903,11 +5898,6 @@ package body Checks is elsif Nkind_In (Expr, N_Integer_Literal, N_Character_Literal) then return True; - -- Real literals are assumed to be valid in VM targets - - elsif VM_Target /= No_VM and then Nkind (Expr) = N_Real_Literal then - return True; - -- If we have a type conversion or a qualification of a known valid -- value, then the result will always be valid. |