OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelaborable_Init

Browse Source 
2020-06-11  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* libgnat/s-stposu.ads (Root_Storage_Pool_With_Subpools,
	Root_Subpool): Mark with Preelaborable_Initialization.
This commit is contained in:
Arnaud Charlet 2020-03-15 06:23:26 -04:00 committed by Pierre-Marie de Rodat
parent 8c1bec899a
commit 0c1d3334c6
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/ada/libgnat/s-stposu.ads
View File

@ -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.