Add region store model to path-sensitive testing.

llvm-svn: 58983
2008-11-10 09:43:12 +00:00 · 2008-11-10 09:43:12 +00:00 · 7be05ed6b8
parent 18d6fd45de
commit 7be05ed6b8
1 changed files with 1 additions and 0 deletions
--- a/clang/test/Analysis/null-deref-ps.c
+++ b/clang/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>