From f191b2c8646a8d37a869752919fbfbe39a94cc72 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 31 Jan 2020 06:05:01 -0500 Subject: [PATCH] [Ada] AI12-0235 System.Storage_Pools should be pure 2020-06-05 Arnaud Charlet gcc/ada/ * libgnat/s-stopoo.ads: Mark package Pure and leave room for Nonblocking once this aspect is supported. --- gcc/ada/libgnat/s-stopoo.ads | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gcc/ada/libgnat/s-stopoo.ads b/gcc/ada/libgnat/s-stopoo.ads index 4d317bcab53..6e475d2baa0 100644 --- a/gcc/ada/libgnat/s-stopoo.ads +++ b/gcc/ada/libgnat/s-stopoo.ads @@ -36,9 +36,10 @@ with Ada.Finalization; with System.Storage_Elements; -package System.Storage_Pools is - pragma Preelaborate; - +package System.Storage_Pools + with Pure +-- Nonblocking => False +is type Root_Storage_Pool is abstract new Ada.Finalization.Limited_Controlled with private; pragma Preelaborable_Initialization (Root_Storage_Pool); -- 2.30.2