From: Anna Zaks <ganna@apple.com>
Date: Wed, 26 Sep 2012 18:55:09 +0000 (+0000)
Subject: [analyzer] Commit a test case for r164579.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=0be2638cc5809bbf8645a2721e80507abd076790;p=clang

[analyzer] Commit a test case for r164579.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164715 91177308-0d34-0410-b5e6-96231b3b80d8
---

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