------- 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
