From: Arnaud Charlet Date: Sun, 15 Mar 2020 10:23:26 +0000 (-0400) Subject: [Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelaborable_Init X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0c1d3334c6ab7fe2c32f319be936c88b1dbf7977;p=gcc.git [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. --- 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.