From db99c46e1d6d3ae3323d0e5ae1dc739291af7143 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 27 Apr 2016 14:55:18 +0200 Subject: [multiple changes] 2016-04-27 Bob Duff * a-coinve.adb, a-comutr.adb, a-conhel.adb, a-convec.adb, exp_util.adb: Remove assertions that can fail in obscure cases when assertions are turned on but tampering checks are turned off. 2016-04-27 Javier Miranda * exp_ch6.adb (Add_Call_By_Copy_Code, Add_Simple_Call_By_Copy_Code, Expand_Actuals): Handle formals whose type comes from the limited view. 2016-04-27 Yannick Moy * a-textio.adb: Complete previous patch. 2016-04-27 Yannick Moy * inline.adb (Expand_Inlined_Call): Use Cannot_Inline instead of Error_Msg_N to issue message about impossibility to inline call, with slight change of message. 2016-04-27 Hristian Kirtchev * exp_spark.adb (Expand_Potential_Renaming): Removed. (Expand_SPARK): Update the call to expand a potential renaming. (Expand_SPARK_Potential_Renaming): New routine. * exp_spark.ads (Expand_SPARK_Potential_Renaming): New routine. * sem.adb Add with and use clauses for Exp_SPARK. (Analyze): Expand a non-overloaded potential renaming for SPARK. 2016-04-27 Ed Schonberg * sem_ch3.adb (Constrain_Discriminated_Type): In an instance, check full view for the presence of defaulted discriminants, even when the partial view of a private type has no visible and no unknown discriminants. From-SVN: r235497 --- gcc/ada/a-conhel.adb | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'gcc/ada/a-conhel.adb') diff --git a/gcc/ada/a-conhel.adb b/gcc/ada/a-conhel.adb index f433250..864b217 100644 --- a/gcc/ada/a-conhel.adb +++ b/gcc/ada/a-conhel.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2015, Free Software Foundation, Inc. -- +-- Copyright (C) 2015-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -36,10 +36,6 @@ package body Ada.Containers.Helpers is ------------ procedure Adjust (Control : in out Reference_Control_Type) is - pragma Warnings (Off); - -- GNAT warns here if checks are turned off, but assertions on - pragma Assert (T_Check); -- not called if check suppressed - pragma Warnings (On); begin if Control.T_Counts /= null then Lock (Control.T_Counts.all); @@ -62,9 +58,6 @@ package body Ada.Containers.Helpers is -------------- procedure Finalize (Control : in out Reference_Control_Type) is - pragma Warnings (Off); - pragma Assert (T_Check); -- not called if check suppressed - pragma Warnings (On); begin if Control.T_Counts /= null then Unlock (Control.T_Counts.all); -- cgit v1.1