From 1fab710d0694d487fbd4943cdec240f2dcfda496 Mon Sep 17 00:00:00 2001 From: Steve Baird Date: Fri, 27 Mar 2020 15:50:29 -0700 Subject: [PATCH] [Ada] Update 'Loop_Entry checking to match changes in 'Old rules. 2020-06-15 Steve Baird 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. --- gcc/ada/sem_attr.adb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 86772d64a06..2c3cd50f462 100644 --- 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; -- 2.30.2