diff options
author | Arnaud Charlet <charlet@adacore.com> | 2020-06-04 05:09:59 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-15 09:42:57 -0400 |
commit | 584901842554439c3c1306a7966192da4102aa33 (patch) | |
tree | 2a119f7287206883af52a517cbec4d232ebfe846 /gcc | |
parent | 580fe036c88b0b696a605ba955a271877a28d955 (diff) | |
download | gcc-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.adb | 2 |
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; |