https://gcc.gnu.org/g:3c20167eca8429bda454ac39ae7a0c31e916462c
commit r17-1201-g3c20167eca8429bda454ac39ae7a0c31e916462c Author: Marc Poulhiès <[email protected]> Date: Mon Apr 20 13:31:22 2026 +0200 ada: Fix Expression_Copy field documentation The field has been added to N_Aspect_Specification nodes in "Implement Aspects as fields under nodes" commited in late 2023. gcc/ada/ChangeLog: * sinfo.ads <Expression_Copy>: Mention it is present in N_Aspect_Specification nodes. <N_Aspect_Specification>: Add Expression_Copy field. Diff: --- gcc/ada/sinfo.ads | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 01f08ec4a22b..3609fd8ef3bf 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1250,10 +1250,11 @@ package Sinfo is -- temporary for them. -- Expression_Copy - -- Present in N_Pragma_Argument_Association nodes. Contains a copy of the - -- original expression. This field is best used to store pragma-dependent - -- modifications performed on the original expression such as replacement - -- of the current type instance or substitutions of primitives. + -- Present in N_Pragma_Argument_Association and N_Aspect_Specification + -- nodes. Contains a copy of the original expression. This field is best + -- used to store pragma-dependent modifications performed on the original + -- expression such as replacement of the current type instance or + -- substitutions of primitives. -- File_Index -- Present in N_External_Initializer nodes. Contains a Source_File_Index @@ -7606,6 +7607,7 @@ package Sinfo is -- Next_Rep_Item -- Class_Present Set if 'Class present -- Is_Ignored + -- Expression_Copy -- Is_Checked -- Is_Delayed_Aspect -- Is_Disabled
