diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-01-31 06:05:01 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:36 -0400 |
| commit | f191b2c8646a8d37a869752919fbfbe39a94cc72 (patch) | |
| tree | 6a72f587d84b90f7ddaf6e24ee0ad8f1b0718ab6 /gcc | |
| parent | efd0843da81aafee053afe573bfa944bbd1ee32b (diff) | |
| download | gcc-f191b2c8646a8d37a869752919fbfbe39a94cc72.zip gcc-f191b2c8646a8d37a869752919fbfbe39a94cc72.tar.gz gcc-f191b2c8646a8d37a869752919fbfbe39a94cc72.tar.bz2 | |
[Ada] AI12-0235 System.Storage_Pools should be pure
2020-06-05 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* libgnat/s-stopoo.ads: Mark package Pure and leave room for
Nonblocking once this aspect is supported.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/libgnat/s-stopoo.ads | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/libgnat/s-stopoo.ads b/gcc/ada/libgnat/s-stopoo.ads index 4d317bc..6e475d2 100644 --- a/gcc/ada/libgnat/s-stopoo.ads +++ b/gcc/ada/libgnat/s-stopoo.ads @@ -36,9 +36,10 @@ with Ada.Finalization; with System.Storage_Elements; -package System.Storage_Pools is - pragma Preelaborate; - +package System.Storage_Pools + with Pure +-- Nonblocking => False +is type Root_Storage_Pool is abstract new Ada.Finalization.Limited_Controlled with private; pragma Preelaborable_Initialization (Root_Storage_Pool); |