diff options
Diffstat (limited to 'gcc/ada/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 52 |
1 files changed, 51 insertions, 1 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 83e094c..673d454 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -175,6 +175,15 @@ package body Sinfo is return Flag4 (N); end Acts_As_Spec; + function Actual_Designated_Subtype + (N : Node_Id) return Node_Id is + begin + pragma Assert (False + or else NT (N).Nkind = N_Explicit_Dereference + or else NT (N).Nkind = N_Free_Statement); + return Node2 (N); + end Actual_Designated_Subtype; + function Aggregate_Bounds (N : Node_Id) return Node_Id is begin @@ -876,6 +885,14 @@ package body Sinfo is return Flag13 (N); end Do_Tag_Check; + function Elaborate_All_Desirable + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_With_Clause); + return Flag9 (N); + end Elaborate_All_Desirable; + function Elaborate_All_Present (N : Node_Id) return Boolean is begin @@ -884,6 +901,14 @@ package body Sinfo is return Flag14 (N); end Elaborate_All_Present; + function Elaborate_Desirable + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_With_Clause); + return Flag11 (N); + end Elaborate_Desirable; + function Elaborate_Present (N : Node_Id) return Boolean is begin @@ -2745,6 +2770,15 @@ package body Sinfo is Set_Flag4 (N, Val); end Set_Acts_As_Spec; + procedure Set_Actual_Designated_Subtype + (N : Node_Id; Val : Node_Id) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Explicit_Dereference + or else NT (N).Nkind = N_Free_Statement); + Set_Node2 (N, Val); + end Set_Actual_Designated_Subtype; + procedure Set_Aggregate_Bounds (N : Node_Id; Val : Node_Id) is begin @@ -3446,6 +3480,14 @@ package body Sinfo is Set_Flag13 (N, Val); end Set_Do_Tag_Check; + procedure Set_Elaborate_All_Desirable + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_With_Clause); + Set_Flag9 (N, Val); + end Set_Elaborate_All_Desirable; + procedure Set_Elaborate_All_Present (N : Node_Id; Val : Boolean := True) is begin @@ -3454,6 +3496,14 @@ package body Sinfo is Set_Flag14 (N, Val); end Set_Elaborate_All_Present; + procedure Set_Elaborate_Desirable + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_With_Clause); + Set_Flag11 (N, Val); + end Set_Elaborate_Desirable; + procedure Set_Elaborate_Present (N : Node_Id; Val : Boolean := True) is begin |