diff options
| author | Yannick Moy <moy@adacore.com> | 2021-07-23 10:52:51 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:47 +0000 |
| commit | 5f325f5e6fd091f73f5be6ef30d27e22e4b59a74 (patch) | |
| tree | 6b7e0fcb80497f9a4811f1798e29af74ec1cce13 /gcc | |
| parent | 27534649ab6bed76c2839f2874849a5ddd48251a (diff) | |
| download | gcc-5f325f5e6fd091f73f5be6ef30d27e22e4b59a74.zip gcc-5f325f5e6fd091f73f5be6ef30d27e22e4b59a74.tar.gz gcc-5f325f5e6fd091f73f5be6ef30d27e22e4b59a74.tar.bz2 | |
[Ada] Add adequate guard before calling First_Rep_Item
gcc/ada/
* sem_ch13.adb (Build_Predicate_Functions): Add guard.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 5 |
1 files changed, 4 insertions, 1 deletions
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; |