diff mbox series

[COMMITTED,03/51] ada: Restrict Is_Limited_Composite field to (sub)types

Message ID 20260602084541.3829876-3-poulhies@adacore.com
State Committed
Commit 5b989e91c5f5abd634f7d7ee6d3ac47d95e2e067
Headers
Series [COMMITTED,01/51] ada: Rename Private_Component function |

Commit Message

Marc Poulhiès June 2, 2026, 8:44 a.m. UTC 
  From: Ronan Desplanques <desplanques@adacore.com>

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 mbox series

Patch

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),