diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-12-18 07:16:12 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-18 07:16:12 +0000 |
| commit | 19f0436b8facfbc75d938ebd6f88c68d8aea3a7e (patch) | |
| tree | 6e74a7129365800f725607fcba9d32ca42608508 /gcc/ada | |
| parent | 5815f92a08bb7e03c83e3592e93ea2470067148c (diff) | |
| download | gcc-19f0436b8facfbc75d938ebd6f88c68d8aea3a7e.zip gcc-19f0436b8facfbc75d938ebd6f88c68d8aea3a7e.tar.gz gcc-19f0436b8facfbc75d938ebd6f88c68d8aea3a7e.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/libgnat/s-atopar.ads | 4 | ||||
| -rw-r--r-- | 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 <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..73c2447e 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 |