diff options
| author | Steve Baird <baird@adacore.com> | 2020-03-27 15:50:29 -0700 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-15 04:04:18 -0400 |
| commit | 1fab710d0694d487fbd4943cdec240f2dcfda496 (patch) | |
| tree | 4c73ffbce1d77b812616845744670201139cc8e5 | |
| parent | ba621931790224d5d4c060fa7bdaa5763c3202a2 (diff) | |
[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.
| -rw-r--r-- | gcc/ada/sem_attr.adb | 6 |
1 files 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; |