diff options
author | Anna Zaks <ganna@apple.com> | 2012-09-26 18:55:09 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2012-09-26 18:55:09 +0000 |
commit | 0be2638cc5809bbf8645a2721e80507abd076790 (patch) | |
tree | 76f253246974e0c6e49b3bf0fe479f315ca31aaa | |
parent | b2d6bc30a454c6831730eba322ffa6e2db751129 (diff) | |
download | clang-0be2638cc5809bbf8645a2721e80507abd076790.tar.gz clang-0be2638cc5809bbf8645a2721e80507abd076790.tar.bz2 clang-0be2638cc5809bbf8645a2721e80507abd076790.tar.xz |
[analyzer] Commit a test case for r164579.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164715 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | test/Analysis/inlining/DynDispatchBifurcate.m | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test/Analysis/inlining/DynDispatchBifurcate.m b/test/Analysis/inlining/DynDispatchBifurcate.m index 6637dfdba5..1fffb65036 100644 --- a/test/Analysis/inlining/DynDispatchBifurcate.m +++ b/test/Analysis/inlining/DynDispatchBifurcate.m @@ -1,4 +1,4 @@ -// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=dynamic-bifurcate -verify %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core,osx -analyzer-ipa=dynamic-bifurcate -verify %s #include "InlineObjCInstanceMethod.h" @@ -179,3 +179,13 @@ int testPropertySynthesized(PublicClass *p) { [p setValue1:0]; return 5/[p value1]; } + +// Test definition not available edge case. +@interface DefNotAvailClass : NSObject +@end +id testDefNotAvailableInlined(DefNotAvailClass *C) { + return [C mem]; // expected-warning {{instance method '-mem' not found}} +} +id testDefNotAvailable(DefNotAvailClass *C) { + return testDefNotAvailableInlined(C); +}
\ No newline at end of file |