From 0c1d3334c6ab7fe2c32f319be936c88b1dbf7977 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Sun, 15 Mar 2020 06:23:26 -0400 Subject: [PATCH] [Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelaborable_Init 2020-06-11 Arnaud Charlet gcc/ada/ * libgnat/s-stposu.ads (Root_Storage_Pool_With_Subpools, Root_Subpool): Mark with Preelaborable_Initialization. --- gcc/ada/libgnat/s-stposu.ads | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/ada/libgnat/s-stposu.ads b/gcc/ada/libgnat/s-stposu.ads index e83229593a2..2653f3d98bd 100644 --- a/gcc/ada/libgnat/s-stposu.ads +++ b/gcc/ada/libgnat/s-stposu.ads @@ -42,12 +42,14 @@ package System.Storage_Pools.Subpools is type Root_Storage_Pool_With_Subpools is abstract new Root_Storage_Pool with private; + pragma Preelaborable_Initialization (Root_Storage_Pool_With_Subpools); -- The base for all implementations of Storage_Pool_With_Subpools. This -- type is Limited_Controlled by derivation. To use subpools, an access -- type must be associated with an implementation descending from type -- Root_Storage_Pool_With_Subpools. type Root_Subpool is abstract tagged limited private; + pragma Preelaborable_Initialization (Root_Subpool); -- The base for all implementations of Subpool. Objects of this type are -- managed by the pool_with_subpools. -- 2.30.2