projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05cb816) | patch
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics
authorEd Schonberg <schonberg@adacore.com>
Tue, 25 Feb 2020 21:58:06 +0000 (16:58 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 9 Jun 2020 08:09:01 +0000 (04:09 -0400)
commit8e6ca7a87bf96e0baa3bfb3775bf1bff40ea0464
tree862f3e866e1177ab12b59772dc0a2df2fe8faab6tree | snapshot
parent05cb816ba5a1b4ab00df26699829483d7c1d156ccommit | 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,
Atomic_Component, Volatile, and Volatile_Components.
gcc/ada/sem_ch12.adb diff | blob | history
Domain: System / Toolchain;