[Ada] Update 'Loop_Entry checking to match changes in 'Old rules.

2020-06-15  Steve Baird  <baird@adacore.com>

gcc/ada/

	* sem_attr.adb (Analyze_Attribute): In the Loop_Entry case,
	replace a call to Statically_Denotes_Object with a call to
	Statically_Names_Object and clean up the preceding comment.

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 86772d64a06ab85e7188b091c20fca9d5e6b6fd6..2c3cd50f462c2b47f472ee1e43f8f21cb4bbee0d 100644 (file)
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -4541,13 +4541,13 @@ package body Sem_Attr is
 
          Check_References_In_Prefix (Loop_Id);
 
-         --  The prefix must denote a static entity if the pragma does not
+         --  The prefix must statically name an object if the pragma does not
          --  apply to the innermost enclosing loop statement, or if it appears
-         --  within a potentially unevaluated epxression.
+         --  within a potentially unevaluated expression.
 
          if Is_Entity_Name (P)
            or else Nkind (Parent (P)) = N_Object_Renaming_Declaration
-           or else Statically_Denotes_Object (P)
+           or else Statically_Names_Object (P)
          then
             null;