From: Arnaud Charlet <charlet@adacore.com>
Date: Fri, 31 Jan 2020 11:05:01 +0000 (-0500)
Subject: [Ada] AI12-0235 System.Storage_Pools should be pure
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f191b2c8646a8d37a869752919fbfbe39a94cc72;p=gcc.git

[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 4d317bcab53..6e475d2baa0 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);