<br><br><div class="gmail_quote">On Tue, Nov 11, 2008 at 12:13 AM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="Ih2E3d">On Nov 10, 2008, at 1:43 AM, Zhongxing Xu <<a href="mailto:xuzhongxing@gmail.com" target="_blank">xuzhongxing@gmail.com</a>> wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Author: zhongxingxu<br>
Date: Mon Nov 10 03:43:12 2008<br>
New Revision: 58983<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=58983&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=58983&view=rev</a><br>
Log:<br>
Add region store model to path-sensitive testing.<br>
<br>
Modified:<br>
   cfe/trunk/test/Analysis/null-deref-ps.c<br>
<br>
Modified: cfe/trunk/test/Analysis/null-deref-ps.c<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/null-deref-ps.c?rev=58983&r1=58982&r2=58983&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/null-deref-ps.c?rev=58983&r1=58982&r2=58983&view=diff</a><br>

<br>
===<br>
===<br>
===<br>
=====================================================================<br>
--- cfe/trunk/test/Analysis/null-deref-ps.c (original)<br>
+++ cfe/trunk/test/Analysis/null-deref-ps.c Mon Nov 10 03:43:12 2008<br>
@@ -1,4 +1,5 @@<br>
// RUN: clang -std=gnu99 -checker-simple -verify %s<br>
</blockquote>
<br></div>
You need an "&&" string after the first RUN line in order to enable the second one.</blockquote><div></div><div>Fixed. Thanks.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
+// RUN: clang -std=gnu99 -checker-simple -analyzer-store-region -verify %a<br>
</blockquote>
</blockquote></div><br>