projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4609e7) | patch
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics
authorEd Schonberg <schonberg@adacore.com>
Fri, 28 Feb 2020 19:26:02 +0000 (14:26 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 9 Jun 2020 08:09:05 +0000 (04:09 -0400)
commit4e510a0a2baa41a22a7acef872cd309ea78ef737
treea0ba3a8fec8810c2f6bfc19409db228f37214dd5tree | snapshot
parentc4609e75ef41546d7b7373cc3d6d0ba9fa15dfcdcommit | diff
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics

2020-06-09  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch12.adb (Check_Shared_Variable_Control_Aspects): Require
exact match between formal and actual for aspects Atomic and
Volatile only for formal derived types.
gcc/ada/sem_ch12.adb diff | blob | history
Domain: System / Toolchain;