From c35c40e7f6c3dcc80cb925c5da2e811dffe25343 Mon Sep 17 00:00:00 2001 From: Richard Kenner Date: Tue, 29 May 2018 09:35:25 +0000 Subject: [PATCH] [Ada] Clear Do_Overflow_Check when inserting code to do check 2018-05-29 Richard Kenner gcc/ada/ * exp_ch4.adb (Expand_N_Op_Abs): Clear Do_Overflow_Check when inserting code to do check. From-SVN: r260865 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/exp_ch4.adb | 2 ++ 2 files changed, 7 insertions(+) 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 + + * exp_ch4.adb (Expand_N_Op_Abs): Clear Do_Overflow_Check when inserting + code to do check. + 2018-05-29 Arnaud Charlet * 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; -- 2.30.2