[Ada] Remove aspects that were commented out
authorArnaud Charlet <charlet@adacore.com>
Thu, 12 Mar 2020 19:08:27 +0000 (15:08 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:32 +0000 (05:53 -0400)
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.

gcc/ada/libgnat/a-catizo.ads
gcc/ada/libgnat/a-nbnbin.ads
gcc/ada/libgnat/a-nbnbre.ads
gcc/ada/libgnat/a-nubinu.ads
gcc/ada/libgnat/s-aoinar.ads
gcc/ada/libgnat/s-aomoar.ads
gcc/ada/libgnat/s-aotase.ads
gcc/ada/libgnat/s-stopoo.ads

index 59ac7ad5dc0367c9649c9a74f705c9b6aeab11a4..32778ab9963ec72963680c0047809432ef1bc27f 100644 (file)
@@ -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
 
index 4c1a22c2e4dfb6519d674f473fb63a70446d7a86..7d1d048fdf9a58ccb6a1e0cb27506e69e2c36057 100644 (file)
@@ -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,
index 3ea93f62291e84a72efedf2ca97611fc8642acce..2ffc356a1dcc22e5037fdbaf74911e54da448067 100644 (file)
@@ -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,
index a25e39c75fe6be0644bd60b57ecafb0da11084a2..c2b95d853fe108366b9448f1e12da7c8f732580e 100644 (file)
 --                                                                          --
 ------------------------------------------------------------------------------
 
---  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;
index e76e7f116c5d0036269a56aca2691739623881bb..17e5cdf224d6cc0a1fe617a17bf77632170b6ae6 100644 (file)
@@ -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;
index c41dc617e5e6ff32fe5cd16a1b60ffdf45c9fbef..f6057ada439e450a489805c78ac5b0287bde250b 100644 (file)
@@ -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;
index 47f68f0b0083cc566283f7571e21462957758d48..f979788bb141b66a0a3fa583254cc6382f8361a7 100644 (file)
@@ -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;
index 6e475d2baa06141f148198f57b86b7912baa3d9a..b79a038f7bfcd6b634ef0c345eca21344fe68e1e 100644 (file)
@@ -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;