aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2015-10-16 15:40:04 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2015-10-16 15:40:04 +0200
commit16e49553f73393d7cd40fcfe77816ad4d23f434a (patch)
treef79b328b0aaabb903e52eaae36c99c5129f316a8 /gcc/ada
parentf66a9a76137456a12b3720add7b9b2c3bbcfff3f (diff)
downloadgcc-16e49553f73393d7cd40fcfe77816ad4d23f434a.zip
gcc-16e49553f73393d7cd40fcfe77816ad4d23f434a.tar.gz
gcc-16e49553f73393d7cd40fcfe77816ad4d23f434a.tar.bz2
Complete previous change.
From-SVN: r228905
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/a-contai.adb10
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/a-contai.adb b/gcc/ada/a-contai.adb
index cf1fc9f..2cf589c 100644
--- a/gcc/ada/a-contai.adb
+++ b/gcc/ada/a-contai.adb
@@ -63,7 +63,9 @@ package body Ada.Containers 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);
@@ -75,13 +77,17 @@ package body Ada.Containers is
-- are limited.
procedure Finalize (Busy : in out With_Busy) is
+ pragma Warnings (Off);
pragma Assert (T_Check); -- not called if check suppressed
+ pragma Warnings (On);
begin
Unbusy (Busy.T_Counts.all);
end Finalize;
procedure Finalize (Lock : in out With_Lock) is
+ pragma Warnings (Off);
pragma Assert (T_Check); -- not called if check suppressed
+ pragma Warnings (On);
begin
Unlock (Lock.T_Counts.all);
end Finalize;
@@ -91,13 +97,17 @@ package body Ada.Containers is
----------------
procedure Initialize (Busy : in out With_Busy) is
+ pragma Warnings (Off);
pragma Assert (T_Check); -- not called if check suppressed
+ pragma Warnings (On);
begin
Generic_Implementation.Busy (Busy.T_Counts.all);
end Initialize;
procedure Initialize (Lock : in out With_Lock) is
+ pragma Warnings (Off);
pragma Assert (T_Check); -- not called if check suppressed
+ pragma Warnings (On);
begin
Generic_Implementation.Lock (Lock.T_Counts.all);
end Initialize;