diff options
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 32 |
1 files changed, 14 insertions, 18 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 0c85d515451..96e875e0f09 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -93,7 +93,6 @@ package body Einfo is -- Discriminal_Link Node10 -- Float_Rep Uint10 (but returns Float_Rep_Kind) -- Handler_Records List10 - -- Loop_Entry_Attributes Elist10 -- Normalized_Position_Max Uint10 -- Component_Bit_Offset Uint11 @@ -548,8 +547,7 @@ package body Einfo is -- Is_Invariant_Procedure Flag257 -- Has_Dynamic_Predicate_Aspect Flag258 -- Has_Static_Predicate_Aspect Flag259 - - -- (unused) Flag260 + -- Has_Loop_Entry_Attributes Flag260 -- (unused) Flag261 -- (unused) Flag262 @@ -1467,6 +1465,12 @@ package body Einfo is return Flag232 (Id); end Has_Invariants; + function Has_Loop_Entry_Attributes (Id : E) return B is + begin + pragma Assert (Ekind (Id) = E_Loop); + return Flag260 (Id); + end Has_Loop_Entry_Attributes; + function Has_Machine_Radix_Clause (Id : E) return B is begin pragma Assert (Is_Decimal_Fixed_Point_Type (Id)); @@ -2396,12 +2400,6 @@ package body Einfo is return Node16 (Id); end Lit_Strings; - function Loop_Entry_Attributes (Id : E) return L is - begin - pragma Assert (Ekind (Id) = E_Loop); - return Elist10 (Id); - end Loop_Entry_Attributes; - function Low_Bound_Tested (Id : E) return B is begin return Flag205 (Id); @@ -4051,6 +4049,12 @@ package body Einfo is Set_Flag232 (Id, V); end Set_Has_Invariants; + procedure Set_Has_Loop_Entry_Attributes (Id : E; V : B := True) is + begin + pragma Assert (Ekind (Id) = E_Loop); + Set_Flag260 (Id, V); + end Set_Has_Loop_Entry_Attributes; + procedure Set_Has_Machine_Radix_Clause (Id : E; V : B := True) is begin pragma Assert (Is_Decimal_Fixed_Point_Type (Id)); @@ -5022,12 +5026,6 @@ package body Einfo is Set_Node16 (Id, V); end Set_Lit_Strings; - procedure Set_Loop_Entry_Attributes (Id : E; V : L) is - begin - pragma Assert (Ekind (Id) = E_Loop); - Set_Elist10 (Id, V); - end Set_Loop_Entry_Attributes; - procedure Set_Low_Bound_Tested (Id : E; V : B := True) is begin pragma Assert (Is_Formal (Id)); @@ -7816,6 +7814,7 @@ package body Einfo is W ("Has_Inheritable_Invariants", Flag248 (Id)); W ("Has_Initial_Value", Flag219 (Id)); W ("Has_Invariants", Flag232 (Id)); + W ("Has_Loop_Entry_Attributes", Flag260 (Id)); W ("Has_Machine_Radix_Clause", Flag83 (Id)); W ("Has_Master_Entity", Flag21 (Id)); W ("Has_Missing_Return", Flag142 (Id)); @@ -8268,9 +8267,6 @@ package body Einfo is E_Procedure => Write_Str ("Handler_Records"); - when E_Loop => - Write_Str ("Loop_Entry_Attributes"); - when E_Component | E_Discriminant => Write_Str ("Normalized_Position_Max"); |