From 584901842554439c3c1306a7966192da4102aa33 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 4 Jun 2020 05:09:59 -0400 Subject: [PATCH] [Ada] Spurious error on Predicate_Failure aspect gcc/ada/ * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Add proper handling of Aspect_Predicate_Failure, consistent with Check_Aspect_At_Freeze_Point. --- gcc/ada/sem_ch13.adb | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 62836249e11..fcd94da2603 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -10519,6 +10519,8 @@ package body Sem_Ch13 is Preanalyze_Spec_Expression (End_Decl_Expr, T); Pop_Type (Ent); + elsif A_Id = Aspect_Predicate_Failure then + Preanalyze_Spec_Expression (End_Decl_Expr, Standard_String); else Preanalyze_Spec_Expression (End_Decl_Expr, T); end if; -- 2.30.2