]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Spurious error on Predicate_Failure aspect
authorArnaud Charlet <charlet@adacore.com>
Thu, 4 Jun 2020 09:09:59 +0000 (05:09 -0400)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:17:57 +0000 (13:17 -0300)
commita2137105a400463a209add0bfdfe06f8a8473770
tree67a409efdc84409a9b4c4afe3776d8aafe06e8dc
parent9c0f7391cd83be9a99490a2b423afe90a871db4c
[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