https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110912
Jiang An <de34 at live dot cn> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |de34 at live dot cn --- Comment #1 from Jiang An <de34 at live dot cn> --- The restriction agains aliasing was intended, see https://cplusplus.github.io/CWG/issues/2271.html. The status quo seems to be that in the body of `A::A(int &x)`, compilers can assume that the value of `x` won't be changed by a modification on `*this`, but not the other way around.