]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Fix iterated element association loop var escaping loop scope
authorMarc Poulhiès <poulhies@adacore.com>
Mon, 7 Mar 2022 13:02:13 +0000 (14:02 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:04 +0000 (08:42 +0000)
commitaacbf3761cdd1048d22dc392216a36599da697e6
treed155133e7935b1637b864ff773b131d93cfa9e35
parente4acb82e97f8043dcd5e6b91b7d3c05d7b478b45
[Ada] Fix iterated element association loop var escaping loop scope

Fix the escaping of the loop variable from the loop scope in both forms
of iterated element associations (i.e. "for J in ..." and "for J of
..."). Create a dedicated scope around the analyses of both loops. Also
create a copy of the Loop_Parameter_Specification instead of analyzing
(and modifying) the original Tree as it will be reanalyzed later.

gcc/ada/

* sem_aggr.adb (Resolve_Iterated_Association): Create scope
around N_Iterated_Element_Association handling. Analyze a copy
of the Loop_Parameter_Specification. Call Analyze instead
Analyze_* to be more homogeneous.
(Sem_Ch5): Remove now unused package.
gcc/ada/sem_aggr.adb