From 86b8d11e485832367446569dec6847bfcd8a62da Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 3 May 2023 13:52:44 +0200
Subject: [PATCH] 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.
---
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 23668f1bec56..3fd3eb45f334 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
--
GitLab