diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-10 09:43:12 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-10 09:43:12 +0000 |
| commit | fe81bc215e823e57b5a6dfb92fe0363c9bd07c46 (patch) | |
| tree | 21e183e116352f7ffceb44c7a87defdc1882fff8 | |
| parent | 8916d5b90985bdeb10d2af676d74d9815f4bc8fa (diff) | |
Add region store model to path-sensitive testing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58983 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Analysis/null-deref-ps.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c index a085d5a963..87d7938242 100644 --- a/test/Analysis/null-deref-ps.c +++ b/test/Analysis/null-deref-ps.c @@ -1,4 +1,5 @@ // RUN: clang -std=gnu99 -checker-simple -verify %s +// RUN: clang -std=gnu99 -checker-simple -analyzer-store-region -verify %s #include<stdint.h> #include <assert.h> |