From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Fri, 16 Oct 2015 13:40:04 +0000 (+0200)
Subject: Complete previous change.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=16e49553f73393d7cd40fcfe77816ad4d23f434a;p=gcc.git

Complete previous change.

From-SVN: r228905
---

diff --git a/gcc/ada/a-contai.adb b/gcc/ada/a-contai.adb
index cf1fc9f0894..2cf589ca993 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;