[COMMITTED,35/51] ada: Fix Expression_Copy field documentation

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

Commit Message

Marc Poulhiès June 2, 2026, 8:45 a.m. UTC
  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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sinfo.ads | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)
  

Patch

diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads
index 01f08ec4a22..3609fd8ef3b 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