https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84794
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2018-03-12 Ever confirmed|0 |1 --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- _2 = &p_4(D)->D.1965.b; this should be canonicalized to _2 = p_4(D); we don't do such canonicalization because it defeats __builtin_object_size Eventually the laddress pass could apply such canonicalization more aggressively (still needs folding to trigger on the mem{cpy,move}).