]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Remove incorrect bits in Copy_Node documentation
authorRonan Desplanques <desplanques@adacore.com>
Fri, 28 Feb 2025 10:50:30 +0000 (11:50 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 9 Jun 2025 06:32:06 +0000 (08:32 +0200)
This patch removes a leftover reference to the concept of node extension
and a note about aspect specification that's been incorrect since at
least the latest rework of aspect specification representation.

gcc/ada/ChangeLog:

* atree.ads (Copy_Node): Fix comment.

gcc/ada/atree.ads

index 760c63b9bea13a4870354cd615cb9a09f3c27748..615d040c90a302102fd32d86792ecc0b5814a752 100644 (file)
@@ -285,15 +285,11 @@ package Atree is
 
    procedure Copy_Node (Source, Destination : Node_Or_Entity_Id);
    --  Copy the entire contents of the source node to the destination node.
-   --  The contents of the source node is not affected. If the source node
-   --  has an extension, then the destination must have an extension also.
-   --  The parent pointer of the destination and its list link, if any, are
-   --  not affected by the copy. Note that parent pointers of descendants
-   --  are not adjusted, so the descendants of the destination node after
-   --  the Copy_Node is completed have dubious parent pointers. Note that
-   --  this routine does NOT copy aspect specifications, the Has_Aspects
-   --  flag in the returned node will always be False. The caller must deal
-   --  with copying aspect specifications where this is required.
+   --  The contents of the source node is not affected. The parent pointer of
+   --  the destination and its list link, if any, are not affected by the copy.
+   --  Note that parent pointers of descendants are not adjusted, so the
+   --  descendants of the destination node after the Copy_Node is completed
+   --  have dubious parent pointers.
 
    function New_Copy (Source : Node_Id) return Node_Id;
    --  This function allocates a new node, and then initializes it by copying