<font size="2"><font face="tahoma,sans-serif">Hi;<br></font></font><br><div class="gmail_quote">On Mon, Dec 6, 2010 at 10:24 AM, Benjamin Kramer <span dir="ltr"><<a href="mailto:benny.kra@googlemail.com" target="_blank">benny.kra@googlemail.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><br>
On 06.12.2010, at 02:48, Chris Lattner wrote:<br>
<br>
> Author: lattner<br>
> Date: Sun Dec  5 19:48:06 2010<br>
> New Revision: 120974<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=120974&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=120974&view=rev</a><br>
> Log:<br>
> Fix PR8728, a miscompilation I recently introduced.  When optimizing<br>
> memcpy's like:<br>
>  memcpy(A, B)<br>
>  memcpy(A, C)<br>
><br>
> we cannot delete the first memcpy as dead if A and C might be aliases.<br>
> If so, we actually get:<br>
<br>
</div>Aren't the operands of memcpy guaranteed not to overlap, so this would be undefined behaviour?</blockquote><div><br></div><div>Apparently Adobe didn't know about it: <a href="https://bugzilla.redhat.com/show_bug.cgi?id=638477">https://bugzilla.redhat.com/show_bug.cgi?id=638477</a></div>

<div><br></div><div>Regards,</div><div>ismail</div><div><br></div></div>