diff options
Diffstat (limited to 'gcc/ada/einfo.adb')
-rw-r--r-- | gcc/ada/einfo.adb | 33 |
1 files changed, 16 insertions, 17 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index f89e9704caf..1f70a405d1f 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -548,7 +548,7 @@ package body Einfo is -- Warnings_Off_Used Flag236 -- Warnings_Off_Used_Unmodified Flag237 -- Warnings_Off_Used_Unreferenced Flag238 - -- OK_To_Reorder_Components Flag239 + -- No_Reordering Flag239 -- Has_Expanded_Contract Flag240 -- Optimize_Alignment_Space Flag241 @@ -1490,7 +1490,7 @@ package body Einfo is function Has_Complex_Representation (Id : E) return B is begin - pragma Assert (Is_Type (Id)); + pragma Assert (Is_Record_Type (Id)); return Flag140 (Implementation_Base_Type (Id)); end Has_Complex_Representation; @@ -2864,6 +2864,12 @@ package body Einfo is return Flag275 (Id); end No_Predicate_On_Actual; + function No_Reordering (Id : E) return B is + begin + pragma Assert (Is_Record_Type (Id)); + return Flag239 (Implementation_Base_Type (Id)); + end No_Reordering; + function No_Return (Id : E) return B is begin return Flag113 (Id); @@ -2928,12 +2934,6 @@ package body Einfo is return Flag247 (Id); end OK_To_Rename; - function OK_To_Reorder_Components (Id : E) return B is - begin - pragma Assert (Is_Record_Type (Id)); - return Flag239 (Base_Type (Id)); - end OK_To_Reorder_Components; - function Optimize_Alignment_Space (Id : E) return B is begin pragma Assert @@ -4584,7 +4584,7 @@ package body Einfo is procedure Set_Has_Complex_Representation (Id : E; V : B := True) is begin - pragma Assert (Ekind (Id) = E_Record_Type); + pragma Assert (Is_Record_Type (Id) and then Is_Base_Type (Id)); Set_Flag140 (Id, V); end Set_Has_Complex_Representation; @@ -6020,6 +6020,12 @@ package body Einfo is Set_Flag275 (Id, V); end Set_No_Predicate_On_Actual; + procedure Set_No_Reordering (Id : E; V : B := True) is + begin + pragma Assert (Is_Record_Type (Id) and then Is_Base_Type (Id)); + Set_Flag239 (Id, V); + end Set_No_Reordering; + procedure Set_No_Return (Id : E; V : B := True) is begin pragma Assert @@ -6085,13 +6091,6 @@ package body Einfo is Set_Flag247 (Id, V); end Set_OK_To_Rename; - procedure Set_OK_To_Reorder_Components (Id : E; V : B := True) is - begin - pragma Assert - (Is_Record_Type (Id) and then Is_Base_Type (Id)); - Set_Flag239 (Id, V); - end Set_OK_To_Reorder_Components; - procedure Set_Optimize_Alignment_Space (Id : E; V : B := True) is begin pragma Assert @@ -9593,12 +9592,12 @@ package body Einfo is W ("No_Dynamic_Predicate_On_actual", Flag276 (Id)); W ("No_Pool_Assigned", Flag131 (Id)); W ("No_Predicate_On_actual", Flag275 (Id)); + W ("No_Reordering", Flag239 (Id)); W ("No_Return", Flag113 (Id)); W ("No_Strict_Aliasing", Flag136 (Id)); W ("Non_Binary_Modulus", Flag58 (Id)); W ("Nonzero_Is_True", Flag162 (Id)); W ("OK_To_Rename", Flag247 (Id)); - W ("OK_To_Reorder_Components", Flag239 (Id)); W ("Optimize_Alignment_Space", Flag241 (Id)); W ("Optimize_Alignment_Time", Flag242 (Id)); W ("Overlays_Constant", Flag243 (Id)); |