From faef9cb6941a3033dc731e1e37d89ec017c5939c Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 26 Jul 2012 00:22:32 +0000 Subject: Add static analyzer check for calling a C++ instance method with a null/uninitialized pointer. llvm-svn: 160767 --- clang/test/Analysis/misc-ps-cxx0x.cpp | 21 +++++++++++++++++++++ 1 file changed, 21 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 7712bb8dc3b..e1c78ed0723 100644 --- a/clang/test/Analysis/misc-ps-cxx0x.cpp +++ b/clang/test/Analysis/misc-ps-cxx0x.cpp @@ -87,4 +87,25 @@ void rdar11817693::operator=(const rdar11817693& src) { operator=(dynamic_cast(src)); } +// Test warning about null or uninitialized pointer values used as instance member +// calls. +class TestInstanceCall { +public: + void foo() {} +}; + +void test_ic() { + TestInstanceCall *p; + p->foo(); // expected-warning {{Called C++ object pointer is uninitialized}} +} + +void test_ic_null() { + TestInstanceCall *p = 0; + p->foo(); // expected-warning {{Called C++ object pointer is null}} +} + +void test_ic_null(TestInstanceCall *p) { + if (!p) + p->foo(); // expected-warning {{Called C++ object pointer is null}} +} -- cgit v1.2.3