On Fri, May 10, 2019 at 09:32:00AM +0200, Richard Biener wrote: > OK. Note in general canonicalization might be necessary if > we have any DECL_VALUE_EXPRs resolved.
We only resolve DECL_VALUE_EXPRs in gimple_regimplify_operands I believe,
during copy_fn we don't have any gimple statements plus id->regimplify
is false as well. The only direct handling of DECL_VALUE_EXPR in
tree-inline.c is copying of their values to the copied decls (which we do
want even for copy_fn).
Jakub
