diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-03-15 06:23:26 -0400 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:12:04 -0300 |
| commit | 70e198ec530e3ae7cf2e3c1002d73b87b22833f0 (patch) | |
| tree | a10d9f8af1b8e5d3a965bf2b78d96325907eca78 | |
| parent | a1a9b6619eca5f5999a55ade861c9140f91af3bc (diff) | |
| download | gcc-70e198ec530e3ae7cf2e3c1002d73b87b22833f0.zip gcc-70e198ec530e3ae7cf2e3c1002d73b87b22833f0.tar.gz gcc-70e198ec530e3ae7cf2e3c1002d73b87b22833f0.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.
| -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. |