diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-10 21:45:10 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-10 21:45:10 +0000 |
| commit | 488495e491df211c440ede7ee9f66ddd5a71650f (patch) | |
| tree | 2c25c4330b5fe394caba0414bac5823a5725d82c /clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m | |
| parent | 6cb2a34e3c180a6d9f89fe9cfea69818dad2cab1 (diff) | |
| download | bcm5719-llvm-488495e491df211c440ede7ee9f66ddd5a71650f.tar.gz bcm5719-llvm-488495e491df211c440ede7ee9f66ddd5a71650f.zip | |
RegionStoreManager now correctly passes this test file.
llvm-svn: 75295
Diffstat (limited to 'clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m')
| -rw-r--r-- | clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m b/clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m index a052add2e27..f926a9f26af 100644 --- a/clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m +++ b/clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret.m @@ -1,5 +1,6 @@ // RUN: clang-cc -triple i386-apple-darwin9 -analyze -checker-cfref -analyzer-constraints=basic -analyzer-store=basic %s -verify && -// RUN: clang-cc -triple i386-apple-darwin9 -analyze -checker-cfref -analyzer-constraints=basic -analyzer-store=basic-old-cast %s -verify +// RUN: clang-cc -triple i386-apple-darwin9 -analyze -checker-cfref -analyzer-constraints=basic -analyzer-store=basic-old-cast %s -verify && +// RUN: clang-cc -triple i386-apple-darwin9 -analyze -checker-cfref -analyzer-constraints=basic -analyzer-store=region %s -verify @interface MyClass {} - (void *)voidPtrM; |
