ada: Delay expansion of iterator specification in preanalysis
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 12 Sep 2022 16:10:59 +0000 (18:10 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 26 Sep 2022 09:02:30 +0000 (11:02 +0200)
commit4450567167e126051e3100de682e09f0902a2106
treec3576a27d320410cfff6229e2c21e2fdb1ebc6a6
parent2ef56cae72631a7349b4cb2b6bd843f05789e231
ada: Delay expansion of iterator specification in preanalysis

When preanalysing spec expression (e.g. expression of an expression
function), the name of iterator specification should not be expanded.

This patch simplifies a complicated condition for delaying expansion
within quantified expressions and iterated component associations.

gcc/ada/

* sem_ch5.adb (Analyze_Iterator_Specification): Delay expansion
based on Full_Analysis flag.
gcc/ada/sem_ch5.adb