[cfe-commits] r58983 - /cfe/trunk/test/Analysis/null-deref-ps.c

[Ted Kremenek]

On Nov 10, 2008, at 1:43 AM, Zhongxing Xu <xuzhongxing at gmail.com> wrote:

> Author: zhongxingxu
> Date: Mon Nov 10 03:43:12 2008
> New Revision: 58983
>
> URL: http://llvm.org/viewvc/llvm-project?rev=58983&view=rev
> Log:
> Add region store model to path-sensitive testing.
>
> Modified:
>    cfe/trunk/test/Analysis/null-deref-ps.c
>
> Modified: cfe/trunk/test/Analysis/null-deref-ps.c
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/null-deref-ps.c?rev=58983&r1=58982&r2=58983&view=diff
>
> ===
> ===
> ===
> =====================================================================
> --- cfe/trunk/test/Analysis/null-deref-ps.c (original)
> +++ cfe/trunk/test/Analysis/null-deref-ps.c Mon Nov 10 03:43:12 2008
> @@ -1,4 +1,5 @@
> // RUN: clang -std=gnu99 -checker-simple -verify %s

You need an "&&" string after the first RUN line in order to enable  
the second one.

>
> +// RUN: clang -std=gnu99 -checker-simple -analyzer-store-region - 
> verify %a