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.
Tested on x86_64-pc-linux-gnu, committed on trunk
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 --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
--- 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
--- 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
