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: 62804
This commit is contained in:
Ted Kremenek 2009-01-22 22:51:46 +00:00
parent c15118b03e
commit db7b61c1b0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/test/Analysis/uninit-ps-rdar6145427.m
View File

@ -1,4 +1,5 @@
// RUN: clang -analyze -verify -checker-cfref %s
// RUN: clang -analyze -verify -analyzer-store-basic -checker-cfref %s &&
// RUN: clang -analyze -verify -analyzer-store-region -checker-cfref %s
// Delta-Debugging reduced preamble.
typedef signed char BOOL;