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 | a3683dd69e44e1800c236c08f9cb43b4e79435f3 (patch) | |
| tree | b6fd5a19fbc7e22ad351e19b061a7f15dfd06e7d | |
| parent | 9d6063ab55117f127f97881d7c5ece4dc203482c (diff) | |
| download | bcm5719-llvm-a3683dd69e44e1800c236c08f9cb43b4e79435f3.tar.gz bcm5719-llvm-a3683dd69e44e1800c236c08f9cb43b4e79435f3.zip | |
[analyzer] Commit a test case for r164579.
llvm-svn: 164715
| -rw-r--r-- | clang/test/Analysis/inlining/DynDispatchBifurcate.m | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/clang/test/Analysis/inlining/DynDispatchBifurcate.m b/clang/test/Analysis/inlining/DynDispatchBifurcate.m index 6637dfdba57..1fffb650368 100644 --- a/clang/test/Analysis/inlining/DynDispatchBifurcate.m +++ b/clang/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 |
