[gcc(refs/users/guojiufu/heads/guojiufu-branch)] [Ada] AI12-0235 System.Storage_Pools should be pure

[Jiu Fu Guo]

https://gcc.gnu.org/g:f191b2c8646a8d37a869752919fbfbe39a94cc72

commit f191b2c8646a8d37a869752919fbfbe39a94cc72
Author: Arnaud Charlet <charlet@adacore.com>
Date:   Fri Jan 31 06:05:01 2020 -0500

    [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:
---
 gcc/ada/libgnat/s-stopoo.ads | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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);