Complete previous change.
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 16 Oct 2015 13:40:04 +0000 (15:40 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 16 Oct 2015 13:40:04 +0000 (15:40 +0200)
From-SVN: r228905

gcc/ada/a-contai.adb

index cf1fc9f089483e2b4bafa02241f110de17ac74ed..2cf589ca99388c371ad0def5951a3636f328fb30 100644 (file)
@@ -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;