<br><br><div class="gmail_quote">On Thu, Nov 20, 2008 at 1:57 AM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">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;">
Hi Zhongxing,<br>
<br>
Please split the RegionStore specific test cases into a separate file.  It's easier to follow, and having the RUN line in the middle of the file is easy for people to miss.<br>
<br>
BTW, the reason we tie run lines together with '&&' is because without it the error code of the test is only the last RUN line (as opposed to being the conjunction).</blockquote><div> </div><div>Sorry I forgot that again. I should take a look at the test script. <br>
<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br><font color="#888888">
<br>
Ted</font><div><div></div><div class="Wj3C7c"><br>
<br>
On Nov 19, 2008, at 3:10 AM, 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: Wed Nov 19 05:10:42 2008<br>
New Revision: 59620<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=59620&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=59620&view=rev</a><br>
Log:<br>
Add test for path-sensitive uninit-val detection involving struct field.<br>
<br>
Modified:<br>
   cfe/trunk/test/Analysis/uninit-vals-ps.c<br>
<br>
Modified: cfe/trunk/test/Analysis/uninit-vals-ps.c<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/uninit-vals-ps.c?rev=59620&r1=59619&r2=59620&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/uninit-vals-ps.c?rev=59620&r1=59619&r2=59620&view=diff</a><br>

<br>
==============================================================================<br>
--- cfe/trunk/test/Analysis/uninit-vals-ps.c (original)<br>
+++ cfe/trunk/test/Analysis/uninit-vals-ps.c Wed Nov 19 05:10:42 2008<br>
@@ -41,3 +41,21 @@<br>
  else<br>
    return 1;<br>
}<br>
+<br>
+// RUN: clang -checker-simple -analyzer-store-region -verify %s<br>
+<br>
+struct s {<br>
+  int data;<br>
+};<br>
+<br>
+struct s global;<br>
+<br>
+void g(int);<br>
+<br>
+void f4() {<br>
+  int a;<br>
+  if (global.data == 0)<br>
+    a = 3;<br>
+  if (global.data == 0)<br>
+    g(a); // no-warning<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>
<br>
</div></div></blockquote></div><br>