From: Eric Botcazou <ebotca...@adacore.com> The existing comment is a bit too vague.
gcc/ada/ChangeLog: * exp_aggr.ads (Is_Two_Pass_Aggregate): Beef up comment. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_aggr.ads | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gcc/ada/exp_aggr.ads b/gcc/ada/exp_aggr.ads index aa79616c609..2bbaeb21741 100644 --- a/gcc/ada/exp_aggr.ads +++ b/gcc/ada/exp_aggr.ads @@ -60,7 +60,8 @@ package Exp_Aggr is function Is_Two_Pass_Aggregate (N : Node_Id) return Boolean; -- Return True if N is an aggregate that is to be expanded in two passes. - -- This is the case if it consists only of iterated associations. + -- This is the case if it consists only of iterated component associations + -- with iterator specifications, see RM 4.3.3(20.2/5). function Static_Array_Aggregate (N : Node_Id) return Boolean; -- N is an array aggregate that may have a component association with -- 2.43.0