aboutsummaryrefslogtreecommitdiff
path: root/gcc/range-op-float.cc
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2023-05-03 13:52:44 +0200
committerMarc Poulhiès <poulhies@adacore.com>2023-06-13 09:31:45 +0200
commit86b8d11e485832367446569dec6847bfcd8a62da (patch)
treee0afe516bd183f74a553dfabdda9a11b78166233 /gcc/range-op-float.cc
parent0f1e602e9e34e59e1cab44ecf3da72c450a48267 (diff)
downloadgcc-86b8d11e485832367446569dec6847bfcd8a62da.zip
gcc-86b8d11e485832367446569dec6847bfcd8a62da.tar.gz
gcc-86b8d11e485832367446569dec6847bfcd8a62da.tar.bz2
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.
Diffstat (limited to 'gcc/range-op-float.cc')
0 files changed, 0 insertions, 0 deletions