From 5f325f5e6fd091f73f5be6ef30d27e22e4b59a74 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Fri, 23 Jul 2021 10:52:51 +0200 Subject: [PATCH] [Ada] Add adequate guard before calling First_Rep_Item gcc/ada/ * sem_ch13.adb (Build_Predicate_Functions): Add guard. --- gcc/ada/sem_ch13.adb | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 8bc8490..595a741 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -10104,7 +10104,10 @@ package body Sem_Ch13 is -- If the type is private, check whether full view has inherited -- predicates. - if Is_Private_Type (Typ) and then No (Ritem) then + if Is_Private_Type (Typ) + and then No (Ritem) + and then Present (Full_View (Typ)) + then Ritem := First_Rep_Item (Full_View (Typ)); end if; -- 2.7.4