[gcc r13-1484] [Ada] Fix comments mentioning ancient flags related to objects references

[Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>]

https://gcc.gnu.org/g:074e8addc5d8e92d9446357b961c003fe06dcc50

commit r13-1484-g074e8addc5d8e92d9446357b961c003fe06dcc50
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon Jun 6 13:02:28 2022 +0200

    [Ada] Fix comments mentioning ancient flags related to objects references
    
    Flag May_Be_Modified under go a series of renamings between 1996 and
    2002.  It was changed to Not_Assigned, then to Not_Source_Assigned and
    finally to Never_Set_In_Source. Fix remaining references in comments.
    
    gcc/ada/
    
            * sem_util.ads (Note_Possible_Modification): Fix occurrence of
            May_Be_Modified in comment.
            * sem_warn.ads (Check_Unset_Reference): Fix occurrence of
            Not_Assigned in comment.

Diff:
---
 gcc/ada/sem_util.ads |  2 +-
 gcc/ada/sem_warn.ads | 18 +++++++++---------
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 4121cf0457a..de7883c2a38 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -2872,7 +2872,7 @@ package Sem_Util is
    --  This routine is called if the sub-expression N maybe the target of
    --  an assignment (e.g. it is the left side of an assignment, used as
    --  an out parameters, or used as prefixes of access attributes). It
-   --  sets May_Be_Modified in the associated entity if there is one,
+   --  sets Never_Set_In_Source in the associated entity if there is one,
    --  taking into account the rule that in the case of renamed objects,
    --  it is the flag in the renamed object that must be set.
    --
diff --git a/gcc/ada/sem_warn.ads b/gcc/ada/sem_warn.ads
index bcf74aba33c..1894f36f4b0 100644
--- a/gcc/ada/sem_warn.ads
+++ b/gcc/ada/sem_warn.ads
@@ -86,15 +86,15 @@ package Sem_Warn is
    --  N is the node for an expression which occurs in a reference position,
    --  e.g. as the right side of an assignment. This procedure checks to see
    --  if the node is a reference to a variable entity where the entity has
-   --  Not_Assigned set. If so, the Unset_Reference field is set if it is not
-   --  the first occurrence. No warning is posted, instead warnings will be
-   --  posted later by Check_References. The reason we do things that
-   --  way is that if there are no assignments anywhere, we prefer to flag
-   --  the entity, rather than a reference to it. Note that for the purposes
-   --  of this routine, a type conversion or qualified expression whose
-   --  expression is an entity is also processed. The reason that we do not
-   --  process these at the point of occurrence is that both these constructs
-   --  can occur in non-reference positions (e.g. as out parameters).
+   --  Never_Set_In_Source set. If so, the Unset_Reference field is set if it
+   --  is not the first occurrence. No warning is posted, instead warnings will
+   --  be posted later by Check_References. The reason we do things that way is
+   --  that if there are no assignments anywhere, we prefer to flag the entity,
+   --  rather than a reference to it. Note that for the purposes of this
+   --  routine, a type conversion or qualified expression whose expression is
+   --  an entity is also processed. The reason that we do not process these
+   --  at the point of occurrence is that both these constructs can occur in
+   --  non-reference positions (e.g. as out parameters).
 
    procedure Check_Unused_Withs (Spec_Unit : Unit_Number_Type := No_Unit);
    --  This routine performs two kinds of checks. It checks that all with'ed