<br><br><div class="gmail_quote">On Mon, Nov 24, 2008 at 12:29 PM, Chris Lattner <span dir="ltr"><<a href="mailto:clattner@apple.com">clattner@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;">
<div class="Ih2E3d"><br>
On Nov 23, 2008, at 6:19 PM, Zhongxing Xu wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Author: zhongxingxu<br>
Date: Sun Nov 23 20:19:49 2008<br>
New Revision: 59931<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=59931&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=59931&view=rev</a><br>
Log:<br>
Add test case for out-of-bound memory access checking.<br>
<br>
Added:<br>
   cfe/trunk/test/Analysis/outofbound.c<br>
<br>
Added: cfe/trunk/test/Analysis/outofbound.c<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/outofbound.c?rev=59931&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/outofbound.c?rev=59931&view=auto</a><br>

<br>
=<br>
=<br>
=<br>
=<br>
=<br>
=<br>
=<br>
=<br>
======================================================================<br>
--- cfe/trunk/test/Analysis/outofbound.c (added)<br>
+++ cfe/trunk/test/Analysis/outofbound.c Sun Nov 23 20:19:49 2008<br>
@@ -0,0 +1,6 @@<br>
+// RUN: clang -checker-simple -analyzer-store-region -verify %s<br>
+<br>
+char f1() {<br>
+  char* s = "abcd";<br>
+  return s[4]; // expected-warning{{Load or store into an out-of-bound memory position.}}<br>
+}<br>
</blockquote>
<br></div>
Hi Zhongxing,<br>
<br>
This is valid code - strings in C are null terminated, so this always returns '\0'.<br><font color="#888888">
</font></blockquote><div><br>Oh, sorry. My mistake. I'll correct the logic.<font color="#888888"><br>
</font></div></div><br>