<div dir="ltr"><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 bgcolor="#FFFFFF" text="#000000"><div><div class="h5"><br></div></div>
    Sanjoy's description of the current behavior is accurate. </div></blockquote><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000">I see two
    ways of looking at this:<br>
    <br>
     1. This is a bug.<br>
     2. To allow this kind of inter-object addressing you need to use
    inttoptr/ptrtoint.<br>
    <br></div></blockquote><div><br></div><div>I'm fine with #2, i just feel like our rules are a little hodgepodge:)</div><div> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000">
    I don't believe that it is possible for the current behavior to
    manifest as a problem for C/C++ (and this is likely the same for
    most higher-level languages).</div></blockquote><div><br></div><div>I don't believe it is either - we've already stated we assume aliasing does not imply pointer equality and non-aliasing does not imply pointer inequality.</div><div>If we did, this behaviour could.</div><div> <br></div></div></div></div>