@@ -270,6 +270,7 @@ package Aspects is
Aspect_Dimension_System => True,
Aspect_Effective_Reads => True,
Aspect_Effective_Writes => True,
+ Aspect_Exceptional_Cases => True,
Aspect_Extensions_Visible => True,
Aspect_Favor_Top_Level => True,
Aspect_Ghost => True,
@@ -292,6 +293,7 @@ package Aspects is
Aspect_Shared => True,
Aspect_Simple_Storage_Pool => True,
Aspect_Simple_Storage_Pool_Type => True,
+ Aspect_Subprogram_Variant => True,
Aspect_Suppress_Debug_Info => True,
Aspect_Suppress_Initialization => True,
Aspect_Thread_Local_Storage => True,
@@ -59,6 +59,7 @@ package Sem_Prag is
Pragma_Effective_Reads => True,
Pragma_Effective_Writes => True,
Pragma_Elaborate_Body => True,
+ Pragma_Exceptional_Cases => True,
Pragma_Export => True,
Pragma_Extensions_Visible => True,
Pragma_Favor_Top_Level => True,
@@ -109,6 +110,7 @@ package Sem_Prag is
Pragma_Simple_Storage_Pool_Type => True,
Pragma_SPARK_Mode => True,
Pragma_Storage_Size => True,
+ Pragma_Subprogram_Variant => True,
Pragma_Suppress => True,
Pragma_Suppress_Debug_Info => True,
Pragma_Suppress_Initialization => True,
@@ -208,27 +210,29 @@ package Sem_Prag is
-- of subprogram bodies.
Pragma_Significant_To_Subprograms : constant array (Pragma_Id) of Boolean :=
- (Pragma_Contract_Cases => True,
- Pragma_Depends => True,
- Pragma_Ghost => True,
- Pragma_Global => True,
- Pragma_Inline => True,
- Pragma_Inline_Always => True,
- Pragma_Post => True,
- Pragma_Post_Class => True,
- Pragma_Postcondition => True,
- Pragma_Pre => True,
- Pragma_Pre_Class => True,
- Pragma_Precondition => True,
- Pragma_Pure => True,
- Pragma_Pure_Function => True,
- Pragma_Refined_Depends => True,
- Pragma_Refined_Global => True,
- Pragma_Refined_Post => True,
- Pragma_Refined_State => True,
- Pragma_Volatile => True,
- Pragma_Volatile_Function => True,
- others => False);
+ (Pragma_Contract_Cases => True,
+ Pragma_Depends => True,
+ Pragma_Exceptional_Cases => True,
+ Pragma_Ghost => True,
+ Pragma_Global => True,
+ Pragma_Inline => True,
+ Pragma_Inline_Always => True,
+ Pragma_Post => True,
+ Pragma_Post_Class => True,
+ Pragma_Postcondition => True,
+ Pragma_Pre => True,
+ Pragma_Pre_Class => True,
+ Pragma_Precondition => True,
+ Pragma_Pure => True,
+ Pragma_Pure_Function => True,
+ Pragma_Refined_Depends => True,
+ Pragma_Refined_Global => True,
+ Pragma_Refined_Post => True,
+ Pragma_Refined_State => True,
+ Pragma_Subprogram_Variant => True,
+ Pragma_Volatile => True,
+ Pragma_Volatile_Function => True,
+ others => False);
-----------------
-- Subprograms --