[gcc r14-1773] ada: Recognize iterated_component_association as repeatedly evaluated

[Marc Poulhi?s]

https://gcc.gnu.org/g:86b8d11e485832367446569dec6847bfcd8a62da

commit r14-1773-g86b8d11e485832367446569dec6847bfcd8a62da
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Wed May 3 13:52:44 2023 +0200

    ada: Recognize iterated_component_association as repeatedly evaluated
    
    As iterated_component_association is an array_component_association
    (because of a grammar rule Ada 2022 RM 4.3.3(5/5)), its expression is
    repeatedly evaluated (because of Ada 2022 RM 6.1.1(22.14/5)).
    
    With this patch we will now get errors for both conjuncts in this code,
    which have semantically equivalent array aggregates that use an ordinary
    component association and iterated component association.
    
      procedure Iter (S : String)
        with Post => String'(for J in 1 .. 3 => S (S'First)'Old) =
                     String'(         1 .. 3 => S (S'First)'Old);
    
    gcc/ada/
    
            * sem_util.adb (Is_Repeatedly_Evaluated): Recognize iterated component
            association as repeatedly evaluated.

Diff:
---
 gcc/ada/sem_util.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 23668f1bec5..3fd3eb45f33 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -30768,7 +30768,8 @@ package body Sem_Util is
                   --    array_component_association or of
                   --    a container_element_associatiation.
 
-                  if Nkind (Par) = N_Component_Association
+                  if Nkind (Par) in N_Component_Association
+                                  | N_Iterated_Component_Association
                     and then Trailer = Expression (Par)
                   then
                      --  determine whether Par is part of an array aggregate