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/ada | |
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/ada')
-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; |