https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70551
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Your interpretation would mean that whether a compiler performs copy elision would change whether a program is well-formed or not (rather than only changing whether any side effects of the constructor call happen). That is not a reasonable interpretation IMHO.
