FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ada: Compiler hangs on container aggregate with function call as key expression

Browse source 
The compiler hangs (or may crash, if assertions are enabled) when compiling
an iterated association of a container aggregate that has a key expression
given by a function call. The resolution of the call leads to a blowup in
Build_Call_Marker, because the temporary copy of the expression that's
analyzed has an Empty parent, causing insertion of the call marker to fail.
The fix for this is to preanalyze, rather than analyze, the copy of the key
expression (Build_Call_Marker will return without creating a call marker in
the case of preanalysis).

gcc/ada/

	* sem_aggr.adb (Resolve_Iterated_Association): Call
	Preanalyze_And_Resolve instead of Analyze_And_Resolve on a key
	expression of an iterated association.
This commit is contained in:
Gary Dismukes 2023-11-30 19:28:42 +00:00 • committed by Marc Poulhiès
parent b90089402f
commit b09d948e05
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ada/sem_aggr.adb
View file

@ -3270,13 +3270,13 @@ package body Sem_Aggr is
(Iterator_Specification (Comp)));
end if;
-- Key expression must have the type of the key. We analyze
-- Key expression must have the type of the key. We preanalyze
-- a copy of the original expression, because it will be
-- reanalyzed and copied as needed during expansion of the
-- corresponding loop.
Key_Expr := Key_Expression (Comp);
Analyze_And_Resolve (New_Copy_Tree (Key_Expr), Key_Type);
Preanalyze_And_Resolve (New_Copy_Tree (Key_Expr), Key_Type);
End_Scope;
Typ := Key_Type;