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

diff --git a/gcc/ada/libgnat/s-stopoo.ads b/gcc/ada/libgnat/s-stopoo.ads
index 4d317bcab53d323e8ac4d76b192ade1d6187f969..6e475d2baa06141f148198f57b86b7912baa3d9a 100644 (file)
--- 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);