aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorRichard Kenner <kenner@vlsi1.ultra.nyu.edu>2018-05-29 09:35:25 +0000
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>2018-05-29 09:35:25 +0000
commitc35c40e7f6c3dcc80cb925c5da2e811dffe25343 (patch)
tree0a8af5b0f571abe1e68761849ad2714898d22b61 /gcc
parentccec48c0a45464128921b90701fc77868d7687a1 (diff)
downloadgcc-c35c40e7f6c3dcc80cb925c5da2e811dffe25343.zip
gcc-c35c40e7f6c3dcc80cb925c5da2e811dffe25343.tar.gz
gcc-c35c40e7f6c3dcc80cb925c5da2e811dffe25343.tar.bz2
[Ada] Clear Do_Overflow_Check when inserting code to do check
2018-05-29 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> gcc/ada/ * exp_ch4.adb (Expand_N_Op_Abs): Clear Do_Overflow_Check when inserting code to do check. From-SVN: r260865
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/exp_ch4.adb2
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index daa099e..6c746e8 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2018-05-29 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
+
+ * exp_ch4.adb (Expand_N_Op_Abs): Clear Do_Overflow_Check when inserting
+ code to do check.
+
2018-05-29 Arnaud Charlet <charlet@adacore.com>
* lib-writ.adb (Write_ALI): Do not use new function from s-casuti yet.
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 25d0e57..4cde820 100644
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -6977,6 +6977,8 @@ package body Exp_Ch4 is
New_Occurrence_Of (Base_Type (Etype (Expr)), Loc),
Attribute_Name => Name_First)),
Reason => CE_Overflow_Check_Failed));
+
+ Set_Do_Overflow_Check (N, False);
end if;
end Expand_N_Op_Abs;