commit 074e8addc5d8e92d9446357b961c003fe06dcc50
author Piotr Trojanek <trojanek@adacore.com> Mon Jun 06 13:02:28 2022 +0200
committer Pierre-Marie de Rodat <derodat@adacore.com> Tue Jul 05 08:28:18 2022 +0000
tree 590f4921288023c3123ae59d338a6b26358908b1
parent 1f85342b42b4bf9fee3cd23bc38498a3565bc9f1

[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.