[Ada] Remove extra checks for non-static context from resolving 'Update
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 11 May 2020 16:21:29 +0000 (18:21 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 7 Jul 2020 09:26:53 +0000 (05:26 -0400)
gcc/ada/

* sem_attr.adb (Resolve_Attribute): Do not call
Check_Non_Static_Context.

gcc/ada/sem_attr.adb

index d2678110f650dcafb04406887c544fde44466cd1..b04b2313bcff74ec3c86b235b1bfd377780ef6de 100644 (file)
@@ -11999,13 +11999,10 @@ package body Sem_Attr is
 
                         if Nkind (C) /= N_Aggregate then
                            Analyze_And_Resolve (C, Etype (Indx));
-                           Check_Non_Static_Context (C);
-
                         else
                            C_E := First (Expressions (C));
                            while Present (C_E) loop
                               Analyze_And_Resolve (C_E, Etype (Indx));
-                              Check_Non_Static_Context (C_E);
 
                               Next (C_E);
                               Next_Index (Indx);