<br><br><div class="gmail_quote">On Fri, Jan 23, 2009 at 10:17 AM, Zhongxing Xu <span dir="ltr"><<a href="mailto:xuzhongxing@gmail.com">xuzhongxing@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br><br><div class="gmail_quote"><div class="Ih2E3d">On Fri, Jan 23, 2009 at 4:36 AM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com" target="_blank">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

Author: kremenek<br>
Date: Thu Jan 22 14:36:33 2009<br>
New Revision: 62782<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=62782&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=62782&view=rev</a><br>
Log:<br>
Test more array logic in outofbound.c<br>
<br>
Modified:<br>
    cfe/trunk/test/Analysis/outofbound.c<br>
<br>
Modified: cfe/trunk/test/Analysis/outofbound.c<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/outofbound.c?rev=62782&r1=62781&r2=62782&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/outofbound.c?rev=62782&r1=62781&r2=62782&view=diff</a><br>


<br>
==============================================================================<br>
--- cfe/trunk/test/Analysis/outofbound.c (original)<br>
+++ cfe/trunk/test/Analysis/outofbound.c Thu Jan 22 14:36:33 2009<br>
@@ -2,5 +2,6 @@<br>
<br>
 char f1() {<br>
   char* s = "abcd";<br>
-  return s[6]; // expected-warning{{Load or store into an out-of-bound memory position.}}<br>
+  char c = s[4]; // no-warning<br>
+  return s[5] + c; // expected-warning{{Load or store into an out-of-bound memory position.}}</blockquote></div><div><br>Hi Ted,<br><br>s[5] is a legal position. Strings are terminated by '\0'. </div></div></blockquote>
<div><br>Sorry, I was wrong. <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="gmail_quote"><div><br><br></div><div class="Ih2E3d">
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
 }<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</blockquote></div></div><br>
</blockquote></div><br>