This test case now passes with RegionStore.

llvm-svn: 62795
This commit is contained in:
Ted Kremenek 2009-01-22 22:40:54 +00:00
parent c2dc7ee5d0
commit b6eec2c979
1 changed files with 3 additions and 1 deletions

View File

@ -1,4 +1,6 @@
// RUN: clang -analyze -checker-simple -verify %s
// RUN: clang -analyze -checker-simple -verify %s &&
// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s &&
// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s
#include <stdint.h>