diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-01-21 06:57:53 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-01-21 06:57:53 +0000 |
| commit | fe32cc0ba6765a42ae460f3c53449e61866a891a (patch) | |
| tree | cb0413963f46069edcf2d3da20a8ef075174f63d /clang/test/Analysis/cfref_PR2519.c | |
| parent | dc6ceca4bab233e755ea6853e8eca57bb062b69d (diff) | |
| download | bcm5719-llvm-fe32cc0ba6765a42ae460f3c53449e61866a891a.tar.gz bcm5719-llvm-fe32cc0ba6765a42ae460f3c53449e61866a891a.zip | |
Get RegionStore to work with the retain/release checker and its test cases.
Because the RegionStore can reason about values beyond the reasoning power of BasicStore, this patch splits some of the test cases for the retain/release checker to have versions that are handled by RegionStore (more warnings) and BasicStore (less warnings).
llvm-svn: 62667
Diffstat (limited to 'clang/test/Analysis/cfref_PR2519.c')
| -rw-r--r-- | clang/test/Analysis/cfref_PR2519.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/test/Analysis/cfref_PR2519.c b/clang/test/Analysis/cfref_PR2519.c index 22146fbf6dd..cfe5a1d60d2 100644 --- a/clang/test/Analysis/cfref_PR2519.c +++ b/clang/test/Analysis/cfref_PR2519.c @@ -1,4 +1,5 @@ -// RUN: clang -analyze -checker-cfref -verify %s +// RUN: clang -analyze -checker-cfref --analyzer-store-basic -verify %s && +// RUN: clang -analyze -checker-cfref --analyzer-store-region -verify %s typedef unsigned char Boolean; typedef signed long CFIndex; |
