diff options
| author | Yannick Moy <moy@adacore.com> | 2021-07-15 14:31:29 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:45 +0000 |
| commit | cbf1ffe1252430f0db0db18b0b695799bb31c242 (patch) | |
| tree | 4d5c111147e5d45ce540b117e1e50e06ae8c95fc /gcc | |
| parent | 326b74705c26a52226bc737cc94be584dd2505e1 (diff) | |
| download | gcc-cbf1ffe1252430f0db0db18b0b695799bb31c242.zip gcc-cbf1ffe1252430f0db0db18b0b695799bb31c242.tar.gz gcc-cbf1ffe1252430f0db0db18b0b695799bb31c242.tar.bz2 | |
[Ada] Fix access to predicated parent in Itype
gcc/ada/
* sem_ch13.adb (Build_Predicate_Functions): Access
Predicated_Parent only on subtypes.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 8cb3b42..2a5e86d 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -10191,6 +10191,9 @@ package body Sem_Ch13 is or else (Is_Itype (Typ) and then not Comes_From_Source (Typ) + and then Ekind (Typ) in E_Array_Subtype + | E_Record_Subtype + | E_Record_Subtype_With_Private and then Present (Predicated_Parent (Typ))) then return; |