projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 580fe03) | patch
[Ada] Spurious error on Predicate_Failure aspect
authorArnaud Charlet <charlet@adacore.com>
Thu, 4 Jun 2020 09:09:59 +0000 (05:09 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 15 Jul 2020 13:42:57 +0000 (09:42 -0400)
commit584901842554439c3c1306a7966192da4102aa33
tree2a119f7287206883af52a517cbec4d232ebfe846tree
parent580fe036c88b0b696a605ba955a271877a28d955commit | diff
[Ada] Spurious error on Predicate_Failure aspect

gcc/ada/

* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Add proper
handling of Aspect_Predicate_Failure, consistent with
Check_Aspect_At_Freeze_Point.
gcc/ada/sem_ch13.adb diff | blob | history