[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 94d115e5852809977e2ffb7c0accdb532c4f5411..7573752b21adaa9264bff9e2efa066be1df170ed 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+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,

diff --git a/gcc/ada/libgnat/s-atopar.ads b/gcc/ada/libgnat/s-atopar.ads
index a555dbc5b44df3da453fada77c54552f62612f85..73c2447ea20e5fcc04a7809cec659b21ababc3ac 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 40f87a218c4c3e595408064344b28f03ecae5c01..51db0b9772076762389454626c63a069b802cdda 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