This test case now passes with RegionStore.

llvm-svn: 62802
This commit is contained in:
Ted Kremenek 2009-01-22 22:49:49 +00:00
parent 21288a0f17
commit c3a28bdb9d
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 <stdlib.h>
#include <alloca.h>