diff options
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 4f5047f..9602944 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -1448,9 +1448,10 @@ package body Sem_Attr is null; -- Attribute 'Result is allowed to appear in aspect - -- Relaxed_Initialization (SPARK RM 6.10). + -- Relaxed_Initialization (SPARK RM 6.10) and Potentially_Invalid. - elsif Prag_Nam = Name_Relaxed_Initialization + elsif (Prag_Nam = Name_Relaxed_Initialization + or else Prag_Nam = Name_Potentially_Invalid) and then Aname = Name_Result then null; @@ -7766,7 +7767,6 @@ package body Sem_Attr is when Bad_Attribute => Set_Analyzed (N); Set_Etype (N, Any_Type); - return; end Analyze_Attribute; -------------------- |