]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Delay expansion of iterated component association
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 12 Sep 2022 13:33:15 +0000 (15:33 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 26 Sep 2022 09:02:30 +0000 (11:02 +0200)
commit2ef56cae72631a7349b4cb2b6bd843f05789e231
tree811f7168c7f66773661bb425b12d8dbce5865670
parent5549d2695a36f1cd97a1a5d2089c9c5a7f3fb03b
ada: Delay expansion of iterated component association

When preanalysing spec expression (e.g. expression of an expression
function), the name of iterator specification within an iterated
component association should not be expanded, especially in GNATprove
mode.

gcc/ada/

* sem_ch5.adb (Analyze_Iterator_Specification): Delay expansion of
for iterated component association just like it is done within
quantified expression.
gcc/ada/sem_ch5.adb