[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

gcc/ada/ChangeLog

 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

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

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