https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110378
--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> --- Created attachment 55664 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55664&action=edit Testcase with single inheritance This testcase is somewhat more difficult and addressing will mean not just changes in the IPA-SRA analysis but also in the modification. Both need to deal with the following: _1 = &this_2(D)->D.2842; {anonymous}::foo::~foo (_1); Modification must see _1 before its use to understand it is just another name for a (split) parameter and must behave accordingly when processing the call statement (i.e. prepare ground for call redirection later).