diff options
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 23 |
1 files changed, 20 insertions, 3 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 87b018694ea..af6fab23362 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1145,6 +1145,11 @@ package Sinfo is -- flag the presence of a CPU pragma in the declaration sequence (public -- or private in the task case). + -- Has_Pragma_Dispatching_Domain (Flag15-Sem) + -- A flag present in N_Task_Definition nodes to flag the presence of a + -- Dispatching_Domain pragma in the declaration sequence (public or + -- private in the task case). + -- Has_Pragma_Suppress_All (Flag14-Sem) -- This flag is set in an N_Compilation_Unit node if the Suppress_All -- pragma appears anywhere in the unit. This accommodates the rather @@ -2317,7 +2322,7 @@ package Sinfo is -- N_Object_Declaration -- Sloc points to first identifier -- Defining_Identifier (Node1) - -- Aliased_Present (Flag4) set if ALIASED appears + -- Aliased_Present (Flag4) -- Constant_Present (Flag17) set if CONSTANT appears -- Null_Exclusion_Present (Flag11) -- Object_Definition (Node4) subtype indic./array type def./access def. @@ -4509,8 +4514,8 @@ package Sinfo is ---------------------------------- -- PARAMETER_SPECIFICATION ::= - -- DEFINING_IDENTIFIER_LIST : MODE [NULL_EXCLUSION] SUBTYPE_MARK - -- [:= DEFAULT_EXPRESSION] + -- DEFINING_IDENTIFIER_LIST : [ALIASED] MODE [NULL_EXCLUSION] + -- SUBTYPE_MARK [:= DEFAULT_EXPRESSION] -- | DEFINING_IDENTIFIER_LIST : ACCESS_DEFINITION -- [:= DEFAULT_EXPRESSION] @@ -4522,9 +4527,12 @@ package Sinfo is -- Prev_Ids flags to preserve the original source form as described -- in the section on "Handling of Defining Identifier Lists". + -- ALIASED can only be present in Ada 2012 mode + -- N_Parameter_Specification -- Sloc points to first identifier -- Defining_Identifier (Node1) + -- Aliased_Present (Flag4) -- In_Present (Flag15) -- Out_Present (Flag17) -- Null_Exclusion_Present (Flag11) @@ -5061,6 +5069,7 @@ package Sinfo is -- Has_Task_Name_Pragma (Flag8-Sem) -- Has_Relative_Deadline_Pragma (Flag9-Sem) -- Has_Pragma_CPU (Flag14-Sem) + -- Has_Pragma_Dispatching_Domain (Flag15-Sem) -------------------- -- 9.1 Task Item -- @@ -8493,6 +8502,9 @@ package Sinfo is function Has_Pragma_CPU (N : Node_Id) return Boolean; -- Flag14 + function Has_Pragma_Dispatching_Domain + (N : Node_Id) return Boolean; -- Flag15 + function Has_Pragma_Priority (N : Node_Id) return Boolean; -- Flag6 @@ -9462,6 +9474,9 @@ package Sinfo is procedure Set_Has_Pragma_CPU (N : Node_Id; Val : Boolean := True); -- Flag14 + procedure Set_Has_Pragma_Dispatching_Domain + (N : Node_Id; Val : Boolean := True); -- Flag15 + procedure Set_Has_Pragma_Priority (N : Node_Id; Val : Boolean := True); -- Flag6 @@ -11875,6 +11890,7 @@ package Sinfo is pragma Inline (Has_Self_Reference); pragma Inline (Has_No_Elaboration_Code); pragma Inline (Has_Pragma_CPU); + pragma Inline (Has_Pragma_Dispatching_Domain); pragma Inline (Has_Pragma_Priority); pragma Inline (Has_Pragma_Suppress_All); pragma Inline (Has_Private_View); @@ -12194,6 +12210,7 @@ package Sinfo is pragma Inline (Set_Has_Dynamic_Range_Check); pragma Inline (Set_Has_No_Elaboration_Code); pragma Inline (Set_Has_Pragma_CPU); + pragma Inline (Set_Has_Pragma_Dispatching_Domain); pragma Inline (Set_Has_Pragma_Priority); pragma Inline (Set_Has_Pragma_Suppress_All); pragma Inline (Set_Has_Private_View); |