]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Remove outdated comment about reused entity fields
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 18 Mar 2025 09:41:43 +0000 (10:41 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 10 Jun 2025 07:32:02 +0000 (09:32 +0200)
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.

gcc/ada/einfo.ads

index 1cbac6d9a7d79882f3d84f436587a78c5c738199..f1e18a385bad3327e98c9621942210508d40b4c7 100644 (file)
@@ -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