Comments

... sorry about the latter confabulations ;) I went almost crazy trying
to avoid the copy_node, but in this case it seems really necessary. The
below appears to regtest fine (already beyond g++.dg/dg.exp).
Thanks,
Paolo.
///////////////////