projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3598c8d) | patch
[Ada] Enforce legality rule for Predicate_Failure aspect specifications
authorSteve Baird <baird@adacore.com>
Fri, 2 Jul 2021 00:03:25 +0000 (17:03 -0700)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 21 Sep 2021 15:24:56 +0000 (15:24 +0000)
commite9068967876383bf0d9280b4f455fd50e7faf152
tree8fb655bd540d6d61f1c8d43da5ab80f821f9c75atree | snapshot
parent3598c8db4045d17705f845561517f74bf877a2e4commit | diff
[Ada] Enforce legality rule for Predicate_Failure aspect specifications

gcc/ada/

* sem_ch13.adb (Analyze_Aspect_Specifications): Add a new nested
function, Directly_Specified, and then use it in the
implementation of the required check.
gcc/ada/sem_ch13.adb diff | blob | history
Domain: System / Toolchain;