summaryrefslogtreecommitdiff
path: root/test/Analysis/inlining/DynDispatchBifurcate.m
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/inlining/DynDispatchBifurcate.m')
-rw-r--r--test/Analysis/inlining/DynDispatchBifurcate.m12
1 files changed, 11 insertions, 1 deletions
diff --git a/test/Analysis/inlining/DynDispatchBifurcate.m b/test/Analysis/inlining/DynDispatchBifurcate.m
index 6637dfdba5712..1fffb6503680b 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