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(-)
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
--
2.53.0
