From: Piotr Trojanek <troja...@adacore.com>
With the current representation of GNAT AST the entity fields are not reused.
gcc/ada/ChangeLog:
* einfo.ads (Overridden_Operation, Static_Initialization): Remove
comments about a reused entity field.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/einfo.ads | 10 ++--------
1 file changed, 2 insertions(+), 8 deletions(-)
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index 1cbac6d9a7d..f1e18a385ba 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -3932,11 +3932,7 @@ package Einfo is
-- Overridden_Operation
-- Defined in subprograms. For overriding operations, points to the
--- user-defined parent subprogram that is being overridden. Note: this
--- attribute uses the same field as Static_Initialization. The latter
--- is only defined for internal initialization procedures, for which
--- Overridden_Operation is irrelevant. Thus this attribute must not be
--- set for init_procs.
+-- user-defined parent subprogram that is being overridden.
-- Package_Instantiation
-- Defined in packages and generic packages. When defined, this field
@@ -4490,9 +4486,7 @@ package Einfo is
-- initialized statically. The value of this attribute is a positional
-- aggregate whose components are compile-time static values. Used
-- when available in object declarations to eliminate the call to the
--- initialization procedure, and to minimize elaboration code. Note:
--- This attribute uses the same field as Overridden_Operation, which is
--- irrelevant in init_procs.
+-- initialization procedure, and to minimize elaboration code.
-- Static_Real_Or_String_Predicate
-- Defined in real types/subtypes with static predicates (with the two
--
2.43.0
