https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102844
--- Comment #23 from Jeffrey A. Law <law at gcc dot gnu.org> --- Invalid is invalid. Full stop. I'll have to put it under a debugger, but I would have expected the nocopy block to turn into a forwarder -- why do we end up putting statements in here?