diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-03-15 06:23:26 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-11 05:53:38 -0400 |
| commit | 0c1d3334c6ab7fe2c32f319be936c88b1dbf7977 (patch) | |
| tree | 0080fb86dae22a3198ea26cffb597370c885a0ca /gcc | |
| parent | 8c1bec899afc30d4338a6953ede396bfcdd1dce0 (diff) | |
| download | gcc-0c1d3334c6ab7fe2c32f319be936c88b1dbf7977.zip gcc-0c1d3334c6ab7fe2c32f319be936c88b1dbf7977.tar.gz gcc-0c1d3334c6ab7fe2c32f319be936c88b1dbf7977.tar.bz2 | |
[Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelaborable_Init
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/libgnat/s-stposu.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/s-stposu.ads b/gcc/ada/libgnat/s-stposu.ads index e832295..2653f3d 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. |