| commit | fe81bc215e823e57b5a6dfb92fe0363c9bd07c46 | [log] [tgz] |
|---|---|---|
| author | Zhongxing Xu <xuzhongxing@gmail.com> | Mon Nov 10 09:43:12 2008 +0000 |
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | Mon Nov 10 09:43:12 2008 +0000 |
| tree | 21e183e116352f7ffceb44c7a87defdc1882fff8 | |
| parent | 8916d5b90985bdeb10d2af676d74d9815f4bc8fa [diff] [blame] |
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
diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c index a085d5a..87d7938 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>