On Tue, Nov 25, 2008 at 2:51 AM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Please add "no-warning" comments on both array accesses to indicate that this is proper behavior.  (it documents the test case for us)</blockquote><div><br>Done.<br> </div></div><br>