diff options
| author | Richard Kenner <kenner@vlsi1.ultra.nyu.edu> | 2018-05-29 09:31:00 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-29 09:31:00 +0000 |
| commit | d8eb4ac4579d1af6e2aff7cbdb85a9c365680d4a (patch) | |
| tree | 33612d5caf0db42b8f7c3ed1c1b5f61d442f5607 /gcc | |
| parent | 28cfa2697563a6d91c04cc47ad75a99aa074e930 (diff) | |
| download | gcc-d8eb4ac4579d1af6e2aff7cbdb85a9c365680d4a.zip gcc-d8eb4ac4579d1af6e2aff7cbdb85a9c365680d4a.tar.gz gcc-d8eb4ac4579d1af6e2aff7cbdb85a9c365680d4a.tar.bz2 | |
[Ada] Always do range check against 'First
2018-05-29 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
gcc/ada/
* exp_ch4.adb (Expand_N_Op_Abs): Always do range check against 'First.
From-SVN: r260862
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 |