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: 62796
This commit is contained in:
Ted Kremenek 2009-01-22 22:42:16 +00:00
parent b6eec2c979
commit 36199e6201
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/exercise-ps.c
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
//
// Just exercise the analyzer (no assertions).