aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2020-06-04 05:09:59 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2020-07-15 09:42:57 -0400
commit584901842554439c3c1306a7966192da4102aa33 (patch)
tree2a119f7287206883af52a517cbec4d232ebfe846 /gcc
parent580fe036c88b0b696a605ba955a271877a28d955 (diff)
downloadgcc-584901842554439c3c1306a7966192da4102aa33.zip
gcc-584901842554439c3c1306a7966192da4102aa33.tar.gz
gcc-584901842554439c3c1306a7966192da4102aa33.tar.bz2
[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.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/sem_ch13.adb2
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 6283624..fcd94da 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;