diff options
Diffstat (limited to 'gcc')
| -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..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 |