procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[Ada] Spurious error on Predicate_Failure aspect

Browse source 
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.
This commit is contained in:
Arnaud Charlet 2020-06-04 05:09:59 -04:00 • committed by Pierre-Marie de Rodat
parent 580fe036c8
commit 5849018425
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gcc/ada/sem_ch13.adb
View file

@ -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;