From 16fe35eb2bf60b1374b24eda453b17af4ccd35ca Mon Sep 17 00:00:00 2001 From: Jordan Rose Date: Fri, 3 Aug 2012 23:08:39 +0000 Subject: Enhance getImplicitObjectArgument to look through ->*. This only applies in the case where ->* is not overloaded, since it specifically looks for BinaryOperator and not CXXOperatorCallExpr. llvm-svn: 161275 --- clang/test/Analysis/misc-ps-cxx0x.cpp | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'clang/test/Analysis/misc-ps-cxx0x.cpp') diff --git a/clang/test/Analysis/misc-ps-cxx0x.cpp b/clang/test/Analysis/misc-ps-cxx0x.cpp index e1c78ed0723..8e31c8db8c9 100644 --- a/clang/test/Analysis/misc-ps-cxx0x.cpp +++ b/clang/test/Analysis/misc-ps-cxx0x.cpp @@ -109,3 +109,10 @@ void test_ic_null(TestInstanceCall *p) { p->foo(); // expected-warning {{Called C++ object pointer is null}} } +void test_ic_member_ptr() { + TestInstanceCall *p = 0; + typedef void (TestInstanceCall::*IC_Ptr)(); + IC_Ptr bar = &TestInstanceCall::foo; + (p->*bar)(); // expected-warning {{Called C++ object pointer is null}} +} + -- cgit v1.2.3