From: Steve Baird Date: Fri, 27 Mar 2020 22:50:29 +0000 (-0700) Subject: [Ada] Update 'Loop_Entry checking to match changes in 'Old rules. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1fab710d0694d487fbd4943cdec240f2dcfda496;p=gcc.git [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. --- 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;