From: Ronan Desplanques <[email protected]>
Is_Limited_Composite was set on all entities during the migration to
Gen_IL, but it's only used on types and subtypes. This moves the field
to the appropriate entity kind.
gcc/ada/ChangeLog:
* gen_il-gen-gen_entities.adb (Gen_Entities): Move
Is_Limited_Composite.
* einfo.ads (Is_Limited_Composite): Update documentation.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/einfo.ads | 8 ++++----
gcc/ada/gen_il-gen-gen_entities.adb | 2 +-
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index dc75d6f1bc7..b0283e2a0b1 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -3041,10 +3041,10 @@ package Einfo is
-- about them.
-- Is_Limited_Composite
--- Defined in all entities. Set for composite types that have a limited
--- component. Used to enforce the rule that operations on the composite
--- type that depend on the full view of the component do not become
--- visible until the immediate scope of the composite type itself
+-- Defined in types and subtypes. Set for composite types that have a
+-- limited component. Used to enforce the rule that operations on the
+-- composite type that depend on the full view of the component do not
+-- become visible until the immediate scope of the composite type itself
-- (RM 7.3.1 (5)).
-- Is_Limited_Interface
diff --git a/gcc/ada/gen_il-gen-gen_entities.adb
b/gcc/ada/gen_il-gen-gen_entities.adb
index 2d358929b5f..84bcc429642 100644
--- a/gcc/ada/gen_il-gen-gen_entities.adb
+++ b/gcc/ada/gen_il-gen-gen_entities.adb
@@ -173,7 +173,6 @@ begin -- Gen_IL.Gen.Gen_Entities
Sm (Is_Known_Non_Null, Flag),
Sm (Is_Known_Null, Flag),
Sm (Is_Known_Valid, Flag),
- Sm (Is_Limited_Composite, Flag),
Sm (Is_Limited_Interface, Flag),
Sm (Is_Limited_Record, Flag),
Sm (Is_Link_Once, Flag),
@@ -508,6 +507,7 @@ begin -- Gen_IL.Gen.Gen_Entities
Sm (Is_Fixed_Lower_Bound_Index_Subtype, Flag),
Sm (Is_Generic_Actual_Type, Flag),
Sm (Is_Implicit_Full_View, Flag),
+ Sm (Is_Limited_Composite, Flag),
Sm (Is_Mutably_Tagged_Type, Flag),
Sm (Is_Non_Static_Subtype, Flag),
Sm (Is_Private_Composite, Flag),
--
2.53.0
