<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Nov 9, 2008, at 11:01 PM, Roland Schulz wrote:</div><blockquote type="cite"><div class="gmail_quote"><div><br>I'm not sure. But I think it is little bit different. <br><br>Parameters with <b>different</b> types are <b>not allowed</b> to point to the same memory. <br>Parameters with <b>the same</b> types are <b>allowed</b> to point to the same memory. <br> Parameters with <b>the same</b> types declared <b>restricted</b> are <b>not allowed</b> to point to the same memory.<br></div></div></blockquote></div><br><div>You're probably right, and that makes it even more safe. We had to work a bit to fulfill this, in particular in cases where we (for good reasons, alignment manipulation) need to covert a pointer to a void, add to it, and then move it back to the pointer type (which the Intel compiler considered breaking aliasing rules).</div><div><br></div><div>Cheers,</div><div><br></div><div>Erik </div></body></html>