diff options
Diffstat (limited to 'gcc/ada/sinfo.ads')
-rw-r--r-- | gcc/ada/sinfo.ads | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 737f7b66bb3..e7b25230e73 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -698,6 +698,13 @@ package Sinfo is -- package Exp_Util, and also the expansion routines for the relevant -- nodes. + -- Context_Pending (Flag16-Sem) + -- This field appears in Compilation_Unit nodes, to indicate that the + -- context of the unit is being compiled. Used to detect circularities + -- that are not otherwise detected by the loading mechanism. Such + -- circularities can occur in the presence of limited and non-limited + -- with_clauses that mention the same units. + -- Controlling_Argument (Node1-Sem) -- This field is set in procedure and function call nodes if the call -- is a dispatching call (it is Empty for a non-dispatching call). It @@ -5393,6 +5400,7 @@ package Sinfo is -- Has_No_Elaboration_Code (Flag17-Sem) -- Body_Required (Flag13-Sem) set for spec if body is required -- Acts_As_Spec (Flag4-Sem) flag for subprogram body with no spec + -- Context_Pending (Flag16-Sem) -- First_Inlined_Subprogram (Node3-Sem) -- N_Compilation_Unit_Aux @@ -7678,6 +7686,9 @@ package Sinfo is function Context_Installed (N : Node_Id) return Boolean; -- Flag13 + function Context_Pending + (N : Node_Id) return Boolean; -- Flag16 + function Context_Items (N : Node_Id) return List_Id; -- List1 @@ -8578,6 +8589,9 @@ package Sinfo is procedure Set_Context_Items (N : Node_Id; Val : List_Id); -- List1 + procedure Set_Context_Pending + (N : Node_Id; Val : Boolean := True); -- Flag16 + procedure Set_Controlling_Argument (N : Node_Id; Val : Node_Id); -- Node1 @@ -11009,6 +11023,7 @@ package Sinfo is pragma Inline (Constraints); pragma Inline (Context_Installed); pragma Inline (Context_Items); + pragma Inline (Context_Pending); pragma Inline (Controlling_Argument); pragma Inline (Conversion_OK); pragma Inline (Corresponding_Body); @@ -11305,6 +11320,7 @@ package Sinfo is pragma Inline (Set_Constraints); pragma Inline (Set_Context_Installed); pragma Inline (Set_Context_Items); + pragma Inline (Set_Context_Pending); pragma Inline (Set_Controlling_Argument); pragma Inline (Set_Conversion_OK); pragma Inline (Set_Corresponding_Body); |