[Ada] Remove aspects that were commented out

2020-06-11  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* libgnat/a-catizo.ads, libgnat/a-nbnbin.ads,
	libgnat/a-nbnbre.ads, libgnat/a-nubinu.ads,
	libgnat/s-aoinar.ads, libgnat/s-aomoar.ads,
	libgnat/s-aotase.ads, libgnat/s-stopoo.ads: Remove aspects that
	we will not implement.

diff --git a/gcc/ada/libgnat/a-catizo.ads b/gcc/ada/libgnat/a-catizo.ads
index 59ac7ad..32778ab 100644 (file)
--- a/gcc/ada/libgnat/a-catizo.ads
+++ b/gcc/ada/libgnat/a-catizo.ads
@@ -16,9 +16,7 @@
 --  This package provides routines to determine the offset of dates to GMT.
 --  It is defined in the Ada 2005 RM (9.6.1).
 
-package Ada.Calendar.Time_Zones
---  with Nonblocking
-is
+package Ada.Calendar.Time_Zones is
 
    --  Time zone manipulation
 

diff --git a/gcc/ada/libgnat/a-nbnbin.ads b/gcc/ada/libgnat/a-nbnbin.ads
index 4c1a22c..7d1d048 100644 (file)
--- a/gcc/ada/libgnat/a-nbnbin.ads
+++ b/gcc/ada/libgnat/a-nbnbin.ads
@@ -23,7 +23,6 @@ private with System;
 
 package Ada.Numerics.Big_Numbers.Big_Integers
   with Preelaborate
---  Nonblocking
 is
    type Big_Integer is private;
    --  with Integer_Literal => From_String,

diff --git a/gcc/ada/libgnat/a-nbnbre.ads b/gcc/ada/libgnat/a-nbnbre.ads
index 3ea93f6..2ffc356 100644 (file)
--- a/gcc/ada/libgnat/a-nbnbre.ads
+++ b/gcc/ada/libgnat/a-nbnbre.ads
@@ -21,7 +21,6 @@ with Ada.Streams;
 
 package Ada.Numerics.Big_Numbers.Big_Reals
   with Preelaborate
---  Nonblocking, Global => in out synchronized Big_Reals
 is
    type Big_Real is private;
 --   with Real_Literal => From_String,

diff --git a/gcc/ada/libgnat/a-nubinu.ads b/gcc/ada/libgnat/a-nubinu.ads
index a25e39c..c2b95d8 100644 (file)
--- a/gcc/ada/libgnat/a-nubinu.ads
+++ b/gcc/ada/libgnat/a-nubinu.ads
@@ -13,11 +13,7 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
---  Note that some Ada 2020 aspects are commented out since they are not
---  supported yet.
-
 package Ada.Numerics.Big_Numbers
-  --  with Pure, Nonblocking, Global => null
   with Pure
 is
    subtype Field is Integer range 0 .. 255;

diff --git a/gcc/ada/libgnat/s-aoinar.ads b/gcc/ada/libgnat/s-aoinar.ads
index e76e7f1..17e5cdf 100644 (file)
--- a/gcc/ada/libgnat/s-aoinar.ads
+++ b/gcc/ada/libgnat/s-aoinar.ads
@@ -39,7 +39,6 @@ generic
    type Atomic_Type is range <> with Atomic;
 package System.Atomic_Operations.Integer_Arithmetic
   with Pure
---  Nonblocking
 is
    procedure Atomic_Add
      (Item  : aliased in out Atomic_Type;

diff --git a/gcc/ada/libgnat/s-aomoar.ads b/gcc/ada/libgnat/s-aomoar.ads
index c41dc61..f6057ad 100644 (file)
--- a/gcc/ada/libgnat/s-aomoar.ads
+++ b/gcc/ada/libgnat/s-aomoar.ads
@@ -39,7 +39,6 @@ generic
    type Atomic_Type is mod <> with Atomic;
 package System.Atomic_Operations.Modular_Arithmetic
   with Pure
---  Nonblocking
 is
    procedure Atomic_Add
      (Item  : aliased in out Atomic_Type;

diff --git a/gcc/ada/libgnat/s-aotase.ads b/gcc/ada/libgnat/s-aotase.ads
index 47f68f0..f979788 100644 (file)
--- a/gcc/ada/libgnat/s-aotase.ads
+++ b/gcc/ada/libgnat/s-aotase.ads
@@ -35,7 +35,6 @@
 
 package System.Atomic_Operations.Test_And_Set
   with Pure
---  Nonblocking
 is
    type Test_And_Set_Flag is mod 2 ** 8
      with Atomic, Default_Value => 0, Size => 8;

diff --git a/gcc/ada/libgnat/s-stopoo.ads b/gcc/ada/libgnat/s-stopoo.ads
index 6e475d2..b79a038 100644 (file)
--- a/gcc/ada/libgnat/s-stopoo.ads
+++ b/gcc/ada/libgnat/s-stopoo.ads
@@ -38,7 +38,6 @@ with System.Storage_Elements;
 
 package System.Storage_Pools
   with Pure
---  Nonblocking => False
 is
    type Root_Storage_Pool is abstract
      new Ada.Finalization.Limited_Controlled with private;