From: Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Date: Tue, 29 May 2018 09:35:25 +0000 (+0000)
Subject: [Ada] Clear Do_Overflow_Check when inserting code to do check
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c35c40e7f6c3dcc80cb925c5da2e811dffe25343;p=gcc.git

[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 daa099e23ec..6c746e8e4ab 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 25d0e57e0ff..4cde8207694 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;