[Bug c++/39480] generated memcpy causes trouble in assignment

[fpbeekhof at gmail dot com]

------- Comment #23 from fpbeekhof at gmail dot com  2009-03-18 10:04 -------
My last comment (#22) of course does not address issues pointed out by jason in
#18.

Even if "we know that we are sure that either p1 == p2 or *p1 and *p2 do not
overlap because otherwise there would be an alias violation." (comment #21)
there is a problem because if p1 == p2 then memcpy is unsafe.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39480