diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 809d468..04a4822 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-05-29 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> + + * exp_ch4.adb (Expand_N_Op_Abs): Always do range check against 'First. + 2018-05-29 Eric Botcazou <ebotcazou@adacore.com> * repinfo.adb (List_Entities): Do not list the Linker_Section for diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index e9ed0d8..25d0e57 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -6956,8 +6956,7 @@ package body Exp_Ch4 is -- Deal with software overflow checking - if not Backend_Overflow_Checks_On_Target - and then Is_Signed_Integer_Type (Etype (N)) + if Is_Signed_Integer_Type (Etype (N)) and then Do_Overflow_Check (N) then -- The only case to worry about is when the argument is equal to the |