diff options
Diffstat (limited to 'gcc/ada/sinfo.adb')
-rw-r--r-- | gcc/ada/sinfo.adb | 44 |
1 files changed, 28 insertions, 16 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index dc4e8fb2c1a..20ff3b26557 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -2090,16 +2090,13 @@ package body Sinfo is return Flag4 (N); end Is_Qualified_Universal_Literal; - function Is_Recorded_Scenario + function Is_Read (N : Node_Id) return Boolean is begin pragma Assert (False - or else NT (N).Nkind = N_Call_Marker - or else NT (N).Nkind = N_Function_Instantiation - or else NT (N).Nkind = N_Package_Instantiation - or else NT (N).Nkind = N_Procedure_Instantiation); - return Flag6 (N); - end Is_Recorded_Scenario; + or else NT (N).Nkind = N_Variable_Reference_Marker); + return Flag1 (N); + end Is_Read; function Is_Source_Call (N : Node_Id) return Boolean is @@ -2179,6 +2176,14 @@ package body Sinfo is return Flag5 (N); end Is_Task_Master; + function Is_Write + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Variable_Reference_Marker); + return Flag2 (N); + end Is_Write; + function Iteration_Scheme (N : Node_Id) return Node_Id is begin @@ -3277,7 +3282,8 @@ package body Sinfo is (N : Node_Id) return Entity_Id is begin pragma Assert (False - or else NT (N).Nkind = N_Call_Marker); + or else NT (N).Nkind = N_Call_Marker + or else NT (N).Nkind = N_Variable_Reference_Marker); return Node1 (N); end Target; @@ -5512,16 +5518,13 @@ package body Sinfo is Set_Flag4 (N, Val); end Set_Is_Qualified_Universal_Literal; - procedure Set_Is_Recorded_Scenario + procedure Set_Is_Read (N : Node_Id; Val : Boolean := True) is begin pragma Assert (False - or else NT (N).Nkind = N_Call_Marker - or else NT (N).Nkind = N_Function_Instantiation - or else NT (N).Nkind = N_Package_Instantiation - or else NT (N).Nkind = N_Procedure_Instantiation); - Set_Flag6 (N, Val); - end Set_Is_Recorded_Scenario; + or else NT (N).Nkind = N_Variable_Reference_Marker); + Set_Flag1 (N, Val); + end Set_Is_Read; procedure Set_Is_Source_Call (N : Node_Id; Val : Boolean := True) is @@ -5601,6 +5604,14 @@ package body Sinfo is Set_Flag5 (N, Val); end Set_Is_Task_Master; + procedure Set_Is_Write + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Variable_Reference_Marker); + Set_Flag2 (N, Val); + end Set_Is_Write; + procedure Set_Iteration_Scheme (N : Node_Id; Val : Node_Id) is begin @@ -6699,7 +6710,8 @@ package body Sinfo is (N : Node_Id; Val : Entity_Id) is begin pragma Assert (False - or else NT (N).Nkind = N_Call_Marker); + or else NT (N).Nkind = N_Call_Marker + or else NT (N).Nkind = N_Variable_Reference_Marker); Set_Node1 (N, Val); -- semantic field, no parent set end Set_Target; |