<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">On Mar 2, 2011, at 9:00 PM, Jin Gu Kang wrote: <br><blockquote type="cite">char a[3][2];<br>struct test {<br> char a;<br> int b;<br>};<br>struct test foo[3];</blockquote>[…]<br><blockquote type="cite">-------------------------------------------------------------------<br>isInBoundsIndices() doesn't return inbounds flag as true on<br>a[3][1] = 3, a[3][2] = 4 and foo[3].b = 7.<br></blockquote><div><br></div><div>That's the intended behavior. The one-past-the-end rule for inbounds</div><div>only applies to the address immediately after the end of the</div><div>object, which would be just &a[3][0] and &foo[3].a.</div><br><div>Dan</div><div><br></div></body></html>