diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-07-10 00:41:58 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-07-10 00:41:58 +0000 |
commit | f66557978e9f0a288add6ab385a52f66ed474a49 (patch) | |
tree | aa901117061644cfd1b9438a12307f73e35d9dd8 /clang/test/Analysis/PR2599.m | |
parent | 98f741bd77af14bb04b46117f255712a50a15fd8 (diff) | |
download | bcm5719-llvm-f66557978e9f0a288add6ab385a52f66ed474a49.tar.gz bcm5719-llvm-f66557978e9f0a288add6ab385a52f66ed474a49.zip |
Switch BasicStoreManager to use the new CastRegion implementation by default,
and replace the 'clang-cc' option '-analyzer-store=basic-new-cast' with
'-analyzer-store=basic-old-cast'. We'll keep the old CastRegion implementation
around for a little while for regression testing.
llvm-svn: 75209
Diffstat (limited to 'clang/test/Analysis/PR2599.m')
-rw-r--r-- | clang/test/Analysis/PR2599.m | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/test/Analysis/PR2599.m b/clang/test/Analysis/PR2599.m index e3fbfa67596..9e5bf21348f 100644 --- a/clang/test/Analysis/PR2599.m +++ b/clang/test/Analysis/PR2599.m @@ -1,9 +1,9 @@ // RUN: clang-cc -analyze -analyzer-constraints=basic -analyzer-store=basic -checker-cfref -fobjc-gc -verify %s && -// RUN: clang-cc -analyze -analyzer-constraints=basic -analyzer-store=basic-new-cast -checker-cfref -fobjc-gc -verify %s && +// RUN: clang-cc -analyze -analyzer-constraints=basic -analyzer-store=basic-old-cast -checker-cfref -fobjc-gc -verify %s && // RUN: clang-cc -analyze -analyzer-constraints=range -analyzer-store=basic -checker-cfref -fobjc-gc -verify %s && -// RUN: clang-cc -analyze -analyzer-constraints=range -analyzer-store=basic-new-cast -checker-cfref -fobjc-gc -verify %s && +// RUN: clang-cc -analyze -analyzer-constraints=range -analyzer-store=basic-old-cast -checker-cfref -fobjc-gc -verify %s && // RUN: clang-cc -analyze -analyzer-constraints=basic -analyzer-store=basic -checker-cfref -fobjc-gc -verify %s && -// RUN: clang-cc -analyze -analyzer-constraints=basic -analyzer-store=basic-new-cast -checker-cfref -fobjc-gc -verify %s && +// RUN: clang-cc -analyze -analyzer-constraints=basic -analyzer-store=basic-old-cast -checker-cfref -fobjc-gc -verify %s && // RUN: clang-cc -analyze -analyzer-constraints=range -analyzer-store=region -checker-cfref -fobjc-gc -verify %s typedef const void * CFTypeRef; |