https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109305
--- Comment #4 from Marc-André Laverdière <marc-andre.laverdiere at synopsys dot com> --- The comment is "If this allocation throws there are no effects:" and I didn't understand the implications. Thanks for you spelled it out the logic behind it. May I encourage you to update the comment? As to why a local copy could be a problem, it's an efficiency (rather than correctness) issue here. Removing unnecessary copies is always a plus. From the explanations I got, that copy is necessary - or at least, removing it would be complex.
