------- Comment #21 from rguenth at gcc dot gnu dot org 2009-03-18 09:47 ------- For
struct A { int i[200]; }; struct A *p1, *p2; void f() { *p1 = *p2; } we are sure that either p1 == p2 or *p1 and *p2 do not overlap because otherwise there would be an alias violation. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39480