[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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index daa099e23ecffebf902a6eabd78b0ca0d2e22d34..6c746e8e4ab469a124432f3e09f35e976ed792b1 100644 (file)
--- 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 25d0e57e0ffe3df16b8b88059738a56367216e78..4cde820769453860816fca13209c96f215745a2a 100644 (file)
--- 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;