diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-27 14:55:18 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-27 14:55:18 +0200 |
| commit | db99c46e1d6d3ae3323d0e5ae1dc739291af7143 (patch) | |
| tree | 3b852b556143ed9a1fe9a1f0c8a1c04e811bffd3 /gcc/ada/a-conhel.adb | |
| parent | c6c8d059421efe3d025483c11c66941a8d1926a4 (diff) | |
| download | gcc-db99c46e1d6d3ae3323d0e5ae1dc739291af7143.zip gcc-db99c46e1d6d3ae3323d0e5ae1dc739291af7143.tar.gz gcc-db99c46e1d6d3ae3323d0e5ae1dc739291af7143.tar.bz2 | |
[multiple changes]
2016-04-27 Bob Duff <duff@adacore.com>
* 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 <miranda@adacore.com>
* 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 <moy@adacore.com>
* a-textio.adb: Complete previous patch.
2016-04-27 Yannick Moy <moy@adacore.com>
* 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 <kirtchev@adacore.com>
* 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 <schonberg@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/a-conhel.adb')
| -rw-r--r-- | gcc/ada/a-conhel.adb | 9 |
1 files changed, 1 insertions, 8 deletions
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); |