<div dir="ltr">On 6 February 2013 18:40, Arnold Schwaighofer <span dir="ltr"><<a href="mailto:aschwaighofer@apple.com" target="_blank">aschwaighofer@apple.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div class="h5"><div><span style="color:rgb(34,34,34)">In principle, assuming that you return a conservative answer when you don't know whether something might alias (different or unknown Values), yes .</span><br>
</div></div></div><div><div>The devil is in the detail :). You ignore no alias information on pointers this way (which is safe, but conservative). Also, you need to look at the attributes of memory access instructions (volatile, atomic and whatnot, see getDependency for this).</div>
</div></div></blockquote><div><br></div><div style>Thanks! I'll have another go and will return with more broken patches... ;)</div><div style><br></div><div style>cheers,</div><div style>--renato</div></div></div></div>