replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

This test case now passes with RegionStore. 

llvm-svn: 62803
This commit is contained in:
Ted Kremenek 2009-01-22 22:50:46 +00:00
parent c3a28bdb9d
commit c15118b03e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/test/Analysis/uninit-msg-expr.m
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
//===----------------------------------------------------------------------===//
// The following code is reduced using delta-debugging from