diff options
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 860f0d1c978..01d9be531d3 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1535,6 +1535,10 @@ package Sinfo is -- to the node for the spec of the instance, inserted as part of the -- semantic processing for instantiations in Sem_Ch12. + -- Is_Abort_Block (Flag4-Sem) + -- Present in N_Block_Statement nodes. True if the block protects a list + -- of statements with an Abort_Defer / Abort_Undefer_Direct pair. + -- Is_Accessibility_Actual (Flag13-Sem) -- Present in N_Parameter_Association nodes. True if the parameter is -- an extra actual that carries the accessibility level of the actual @@ -1946,6 +1950,12 @@ package Sinfo is -- It is used to indicate that processing for extended overflow checking -- modes is not required (this is used to prevent infinite recursion). + -- No_Side_Effect_Removal (Flag1-Sem) + -- Present in N_Function_Call nodes. Set when a function call does not + -- require side effect removal. This attribute suppresses the generation + -- of a temporary to capture the result of the function which eventually + -- replaces the function call. + -- No_Truncation (Flag17-Sem) -- Present in N_Unchecked_Type_Conversion node. This flag has an effect -- only if the RM_Size of the source is greater than the RM_Size of the @@ -4931,6 +4941,7 @@ package Sinfo is -- Declarations (List2) (set to No_List if no DECLARE part) -- Handled_Statement_Sequence (Node4) -- Cleanup_Actions (List5-Sem) + -- Is_Abort_Block (Flag4-Sem) -- Is_Task_Master (Flag5-Sem) -- Activation_Chain_Entity (Node3-Sem) -- Has_Created_Identifier (Flag15) @@ -5296,6 +5307,7 @@ package Sinfo is -- actual parameter part) -- First_Named_Actual (Node4-Sem) -- Controlling_Argument (Node1-Sem) (set to Empty if not dispatching) + -- No_Side_Effect_Removal (Flag1-Sem) -- Is_Expanded_Build_In_Place_Call (Flag11-Sem) -- Do_Tag_Check (Flag13-Sem) -- No_Elaboration_Check (Flag14-Sem) @@ -9324,6 +9336,9 @@ package Sinfo is function Intval (N : Node_Id) return Uint; -- Uint3 + function Is_Abort_Block + (N : Node_Id) return Boolean; -- Flag4 + function Is_Accessibility_Actual (N : Node_Id) return Boolean; -- Flag13 @@ -9540,6 +9555,9 @@ package Sinfo is function No_Minimize_Eliminate (N : Node_Id) return Boolean; -- Flag17 + function No_Side_Effect_Removal + (N : Node_Id) return Boolean; -- Flag1 + function No_Truncation (N : Node_Id) return Boolean; -- Flag17 @@ -10365,6 +10383,9 @@ package Sinfo is procedure Set_Intval (N : Node_Id; Val : Uint); -- Uint3 + procedure Set_Is_Abort_Block + (N : Node_Id; Val : Boolean := True); -- Flag4 + procedure Set_Is_Accessibility_Actual (N : Node_Id; Val : Boolean := True); -- Flag13 @@ -10581,6 +10602,9 @@ package Sinfo is procedure Set_No_Minimize_Eliminate (N : Node_Id; Val : Boolean := True); -- Flag17 + procedure Set_No_Side_Effect_Removal + (N : Node_Id; Val : Boolean := True); -- Flag1 + procedure Set_No_Truncation (N : Node_Id; Val : Boolean := True); -- Flag17 @@ -12806,6 +12830,7 @@ package Sinfo is pragma Inline (Instance_Spec); pragma Inline (Intval); pragma Inline (Iterator_Specification); + pragma Inline (Is_Abort_Block); pragma Inline (Is_Accessibility_Actual); pragma Inline (Is_Analyzed_Pragma); pragma Inline (Is_Asynchronous_Call_Block); @@ -12877,6 +12902,7 @@ package Sinfo is pragma Inline (No_Entities_Ref_In_Spec); pragma Inline (No_Initialization); pragma Inline (No_Minimize_Eliminate); + pragma Inline (No_Side_Effect_Removal); pragma Inline (No_Truncation); pragma Inline (Non_Aliased_Prefix); pragma Inline (Null_Present); @@ -13148,6 +13174,7 @@ package Sinfo is pragma Inline (Set_Interface_List); pragma Inline (Set_Interface_Present); pragma Inline (Set_Intval); + pragma Inline (Set_Is_Abort_Block); pragma Inline (Set_Is_Accessibility_Actual); pragma Inline (Set_Is_Analyzed_Pragma); pragma Inline (Set_Is_Asynchronous_Call_Block); @@ -13220,6 +13247,7 @@ package Sinfo is pragma Inline (Set_No_Entities_Ref_In_Spec); pragma Inline (Set_No_Initialization); pragma Inline (Set_No_Minimize_Eliminate); + pragma Inline (Set_No_Side_Effect_Removal); pragma Inline (Set_No_Truncation); pragma Inline (Set_Non_Aliased_Prefix); pragma Inline (Set_Null_Excluding_Subtype); |