https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80603 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Would also be a suitable enhancement for fold_const_aggregate_ref in general if you consider IPA-VRP propagation and _1 = AGGR[param_2(D)]; return _1;