From 19f0436b8facfbc75d938ebd6f88c68d8aea3a7e Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 18 Dec 2019 07:16:12 +0000 Subject: [PATCH] [Ada] Atomic aspect on formal generic params now supported in Ada 202x mode 2019-12-18 Arnaud Charlet 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 | 5 +++++ gcc/ada/libgnat/s-atopar.ads | 4 +++- gcc/ada/libgnat/s-atopex.ads | 4 +++- 3 files changed, 11 insertions(+), 2 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 94d115e..7573752 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2019-12-18 Arnaud Charlet + * 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 + * 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 --- 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 --- 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 -- 2.7.4