From: Arnaud Charlet Date: Wed, 18 Dec 2019 07:16:12 +0000 (+0000) Subject: [Ada] Atomic aspect on formal generic params now supported in Ada 202x mode X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=19f0436b8facfbc75d938ebd6f88c68d8aea3a7e;p=gcc.git [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 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 94d115e5852..7573752b21a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +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, diff --git a/gcc/ada/libgnat/s-atopar.ads b/gcc/ada/libgnat/s-atopar.ads index a555dbc5b44..73c2447ea20 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 40f87a218c4..51db0b97720 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