diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-16 15:40:04 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-16 15:40:04 +0200 |
commit | 16e49553f73393d7cd40fcfe77816ad4d23f434a (patch) | |
tree | f79b328b0aaabb903e52eaae36c99c5129f316a8 /gcc/ada | |
parent | f66a9a76137456a12b3720add7b9b2c3bbcfff3f (diff) | |
download | gcc-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.adb | 10 |
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; |