[Ada] Atomic aspect on formal generic params now supported in Ada 202x mode

2019-12-18  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* libgnat/s-atopar.ads, libgnat/s-atopex.ads (Atomic_Type): Can
	now be marked Atomic. This requires marking the unit Ada 202x.

From-SVN: r279516

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 94d115e..7573752 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,10 @@
 2019-12-18  Arnaud Charlet  <charlet@adacore.com>
 
+       * libgnat/s-atopar.ads, libgnat/s-atopex.ads (Atomic_Type): Can
+       now be marked Atomic. This requires marking the unit Ada 202x.
+
+2019-12-18  Arnaud Charlet  <charlet@adacore.com>
+
        * libgnat/a-nbnbin.ads, libgnat/a-nbnbin.adb,
        libgnat/a-nbnbre.ads, libgnat/a-nbnbre.adb: Replace
        Optional_Big_* types by a simple check and exception raise in

diff --git a/gcc/ada/libgnat/s-atopar.ads b/gcc/ada/libgnat/s-atopar.ads
index a555dbc..73c2447 100644 (file)
--- a/gcc/ada/libgnat/s-atopar.ads
+++ b/gcc/ada/libgnat/s-atopar.ads
@@ -29,8 +29,10 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
+pragma Ada_2020;
+
 generic
-   type Atomic_Type is range <>; -- ??? with Atomic;
+   type Atomic_Type is range <> with Atomic;
 package System.Atomic_Operations.Arithmetic
   with Pure
 --  Nonblocking

diff --git a/gcc/ada/libgnat/s-atopex.ads b/gcc/ada/libgnat/s-atopex.ads
index 40f87a2..51db0b9 100644 (file)
--- a/gcc/ada/libgnat/s-atopex.ads
+++ b/gcc/ada/libgnat/s-atopex.ads
@@ -29,8 +29,10 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
+pragma Ada_2020;
+
 generic
-   type Atomic_Type is private;  --  with Atomic;
+   type Atomic_Type is private with Atomic;
 package System.Atomic_Operations.Exchange
   with Pure
 --  Blocking