https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89695
--- Comment #4 from Matthijs van Duin <matthijsvanduin at gmail dot com> --- (In reply to Jonathan Wakely from comment #3) > I believe this is required by the ABI for trivially copyable types. I don't see how that's possible, the callee can't tell the difference.