diff options
| author | Yannick Moy <moy@adacore.com> | 2021-10-15 15:06:34 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-25 15:07:19 +0000 |
| commit | 5145d173a85d9cc7afe351ce33639d559c344e9d (patch) | |
| tree | a94d062a23988a46032adeb799a7027029730324 /gcc/ada/adaint.c | |
| parent | ea5f7f3962a0781cfd36016776adf79986929bfa (diff) | |
| download | gcc-5145d173a85d9cc7afe351ce33639d559c344e9d.zip gcc-5145d173a85d9cc7afe351ce33639d559c344e9d.tar.gz gcc-5145d173a85d9cc7afe351ce33639d559c344e9d.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions