https://gcc.gnu.org/g:d7dbf6c7ae69ff4d8e26b8dc7ee14104f5a9843e
commit r15-614-gd7dbf6c7ae69ff4d8e26b8dc7ee14104f5a9843e
Author: Eric Botcazou <ebotca...@adacore.com>
Date: Tue Mar 12 18:57:08 2024 +0100
ada: Document secondary usage of Materialize_Entity flag
The flag is also used by the semantic analyzer.
gcc/ada/
* einfo.ads (Materialize_Entity): Document secondary usage.
Diff:
---
gcc/ada/einfo.ads | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index 71c560d52727..e5110f516708 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -3584,10 +3584,11 @@ package Einfo is
-- tasks implementing such interface.
-- Materialize_Entity
--- Defined in all entities. Set only for renamed obects which should be
+-- Defined in all entities. Set mostly for renamed objects that should be
-- materialized for debugging purposes. This means that a memory location
-- containing the renamed address should be allocated. This is needed so
--- that the debugger can find the entity.
+-- that the debugger can find the entity. Also set on types built in the
+-- case of unanalyzed packages referenced through a limited_with clause.
-- May_Inherit_Delayed_Rep_Aspects
-- Defined in all entities for types and subtypes. Set if the type is
