Author: zaks
Date: Wed Sep 26 13:55:09 2012
New Revision: 164715
URL: http://llvm.org/viewvc/llvm-project?rev=164715&view=rev
Log:
[analyzer] Commit a test case for r164579.
Modified:
cfe/trunk/test/Analysis/inlining/DynDispatchBifurcate.m
Modified: cfe/trunk/test/Analysis/inlining/DynDispatchBifurcate.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/inlining/DynDispatchBifurcate.m?rev=164715&r1=164714&r2=164715&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/inlining/DynDispatchBifurcate.m (original)
+++ cfe/trunk/test/Analysis/inlining/DynDispatchBifurcate.m Wed Sep 26 13:55:09
2012
@@ -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 @@
[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
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
