This test case now passes with RegionStore.

llvm-svn: 62798
This commit is contained in:
Ted Kremenek 2009-01-22 22:42:59 +00:00
parent 36199e6201
commit dabd546875
1 changed files with 2 additions and 1 deletions

View File

@ -1,4 +1,5 @@
// RUN: clang -analyze -checker-cfref %s -verify &&
// RUN: clang -analyze -checker-cfref %s --analyzer-store-basic -verify &&
// RUN: clang -analyze -checker-cfref %s --analyzer-store-region -verify &&
// RUN: clang -analyze -checker-simple %s -verify
unsigned foo();