diff options
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 58 |
1 files changed, 46 insertions, 12 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index aa0dfe37a28..fa1d6dd8ee2 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -59,15 +59,19 @@ package Sinfo is -- If changes are made to this file, a number of related steps must be -- carried out to ensure consistency. First, if a field access function is - -- added, it appears in seven places: - - -- The documentation associated with the node - -- The spec of the access function in sinfo.ads - -- The body of the access function in sinfo.adb - -- The pragma Inline at the end of sinfo.ads for the access function - -- The spec of the set procedure in sinfo.ads - -- The body of the set procedure in sinfo.adb - -- The pragma Inline at the end of sinfo.ads for the set procedure + -- added, it appears in these places: + + -- In sinfo.ads: + -- The documentation associated with the field (if semantic) + -- The documentation associated with the node + -- The spec of the access function + -- The spec of the set procedure + -- The entries in Is_Syntactic_Field + -- The pragma Inline for the access function + -- The pragma Inline for the set procedure + -- In sinfo.adb: + -- The body of the access function + -- The body of the set procedure -- The field chosen must be consistent in all places, and, for a node that -- is a subexpression, must not overlap any of the standard expression @@ -805,6 +809,12 @@ package Sinfo is -- for the default expression). Default_Expression is used for -- conformance checking. + -- Default_Storage_Pool (Node3-Sem) + -- This field is present in N_Compilation_Unit_Aux nodes. It is set to a + -- copy of Opt.Default_Pool at the end of the compilation unit. See + -- package Opt for details. This is used for inheriting the + -- Default_Storage_Pool in child units. + -- Discr_Check_Funcs_Built (Flag11-Sem) -- This flag is present in N_Full_Type_Declaration nodes. It is set when -- discriminant checking functions are constructed. The purpose is to @@ -1133,6 +1143,11 @@ package Sinfo is -- generate elaboration code, and non-preelaborated packages which do -- not generate elaboration code. + -- Has_Pragma_CPU (Flag14-Sem) + -- A flag present in N_Subprogram_Body and N_Task_Definition nodes to + -- flag the presence of a CPU 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 accomodates the rather @@ -4486,6 +4501,7 @@ package Sinfo is -- Is_Task_Master (Flag5-Sem) -- Was_Originally_Stub (Flag13-Sem) -- Has_Relative_Deadline_Pragma (Flag9-Sem) + -- Has_Pragma_CPU (Flag14-Sem) ------------------------------ -- Parameterized Expression -- @@ -4969,6 +4985,7 @@ package Sinfo is -- Has_Task_Info_Pragma (Flag7-Sem) -- Has_Task_Name_Pragma (Flag8-Sem) -- Has_Relative_Deadline_Pragma (Flag9-Sem) + -- Has_Pragma_CPU (Flag14-Sem) -------------------- -- 9.1 Task Item -- @@ -5550,8 +5567,8 @@ package Sinfo is -- the library item. -- To deal with all these problems, we create an auxiliary node for - -- a compilation unit, referenced from the N_Compilation_Unit node - -- that contains these three items. + -- a compilation unit, referenced from the N_Compilation_Unit node, + -- that contains these items. -- N_Compilation_Unit -- Sloc points to first token of defining unit name @@ -5573,6 +5590,7 @@ package Sinfo is -- Actions (List1) (set to No_List if no actions) -- Pragmas_After (List5) pragmas after unit (set to No_List if none) -- Config_Pragmas (List4) config pragmas (set to Empty_List if none) + -- Default_Storage_Pool (Node3-Sem) -------------------------- -- 10.1.1 Library Item -- @@ -8088,6 +8106,9 @@ package Sinfo is function Default_Expression (N : Node_Id) return Node_Id; -- Node5 + function Default_Storage_Pool + (N : Node_Id) return Node_Id; -- Node3 + function Default_Name (N : Node_Id) return Node_Id; -- Node2 @@ -8316,6 +8337,9 @@ package Sinfo is function Has_No_Elaboration_Code (N : Node_Id) return Boolean; -- Flag17 + function Has_Pragma_CPU + (N : Node_Id) return Boolean; -- Flag14 + function Has_Pragma_Priority (N : Node_Id) return Boolean; -- Flag6 @@ -9039,6 +9063,9 @@ package Sinfo is procedure Set_Default_Expression (N : Node_Id; Val : Node_Id); -- Node5 + procedure Set_Default_Storage_Pool + (N : Node_Id; Val : Node_Id); -- Node3 + procedure Set_Default_Name (N : Node_Id; Val : Node_Id); -- Node2 @@ -9264,6 +9291,9 @@ package Sinfo is procedure Set_Has_No_Elaboration_Code (N : Node_Id; Val : Boolean := True); -- Flag17 + procedure Set_Has_Pragma_CPU + (N : Node_Id; Val : Boolean := True); -- Flag14 + procedure Set_Has_Pragma_Priority (N : Node_Id; Val : Boolean := True); -- Flag6 @@ -10971,7 +11001,7 @@ package Sinfo is N_Compilation_Unit_Aux => (1 => True, -- Actions (List1) 2 => True, -- Declarations (List2) - 3 => False, -- unused + 3 => False, -- Default_Storage_Pool (Node3) 4 => True, -- Config_Pragmas (List4) 5 => True), -- Pragmas_After (List5) @@ -11553,6 +11583,7 @@ package Sinfo is pragma Inline (Debug_Statement); pragma Inline (Declarations); pragma Inline (Default_Expression); + pragma Inline (Default_Storage_Pool); pragma Inline (Default_Name); pragma Inline (Defining_Identifier); pragma Inline (Defining_Unit_Name); @@ -11630,6 +11661,7 @@ package Sinfo is pragma Inline (Has_Local_Raise); pragma Inline (Has_Self_Reference); pragma Inline (Has_No_Elaboration_Code); + pragma Inline (Has_Pragma_CPU); pragma Inline (Has_Pragma_Priority); pragma Inline (Has_Pragma_Suppress_All); pragma Inline (Has_Private_View); @@ -11867,6 +11899,7 @@ package Sinfo is pragma Inline (Set_Debug_Statement); pragma Inline (Set_Declarations); pragma Inline (Set_Default_Expression); + pragma Inline (Set_Default_Storage_Pool); pragma Inline (Set_Default_Name); pragma Inline (Set_Defining_Identifier); pragma Inline (Set_Defining_Unit_Name); @@ -11942,6 +11975,7 @@ package Sinfo is pragma Inline (Set_Has_Local_Raise); 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_Priority); pragma Inline (Set_Has_Pragma_Suppress_All); pragma Inline (Set_Has_Private_View); |