From 16e49553f73393d7cd40fcfe77816ad4d23f434a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 16 Oct 2015 15:40:04 +0200 Subject: [PATCH] Complete previous change. From-SVN: r228905 --- gcc/ada/a-contai.adb | 10 ++++++++++ 1 file changed, 10 insertions(+) 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;