]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea5f7f3) | patch
[Ada] Issue error on invalid use of Ghost inside pragma Predicate
authorYannick Moy <moy@adacore.com>
Fri, 15 Oct 2021 13:06:34 +0000 (15:06 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 25 Oct 2021 15:07:19 +0000 (15:07 +0000)
commit5145d173a85d9cc7afe351ce33639d559c344e9d
treea94d062a23988a46032adeb799a7027029730324tree
parentea5f7f3962a0781cfd36016776adf79986929bfacommit | diff
[Ada] Issue error on invalid use of Ghost inside pragma Predicate

gcc/ada/

* sem_ch13.adb (Freeze_Entity_Checks): Perform same check on
predicate expression inside pragma as inside aspect.
* sem_util.adb (Is_Current_Instance): Recognize possible
occurrence of subtype as current instance inside the pragma
Predicate.
gcc/ada/sem_ch13.adb diff | blob | blame | history
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git