45 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -verify %s2// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file %s -o %t.plist3// RUN: %normalize_plist <%t.plist | diff -ub %S/Inputs/expected-plists/method-call-path-notes.cpp.plist -4 5// Test warning about null or uninitialized pointer values used as instance member6// calls.7class TestInstanceCall {8public:9 void foo() {}10};11 12void test_ic() {13 TestInstanceCall *p; // expected-note {{'p' declared without an initial value}}14 p->foo(); // expected-warning {{Called C++ object pointer is uninitialized}} expected-note {{Called C++ object pointer is uninitialized}}15}16 17void test_ic_null() {18 TestInstanceCall *p = 0; // expected-note {{'p' initialized to a null pointer value}}19 p->foo(); // expected-warning {{Called C++ object pointer is null}} expected-note {{Called C++ object pointer is null}}20}21 22void test_ic_set_to_null() {23 TestInstanceCall *p;24 p = 0; // expected-note {{Null pointer value stored to 'p'}}25 p->foo(); // expected-warning {{Called C++ object pointer is null}} expected-note {{Called C++ object pointer is null}}26}27 28void test_ic_null(TestInstanceCall *p) {29 if (!p) // expected-note {{Assuming 'p' is null}} expected-note {{Taking true branch}}30 p->foo(); // expected-warning {{Called C++ object pointer is null}} expected-note{{Called C++ object pointer is null}}31}32 33void test_ic_member_ptr() {34 TestInstanceCall *p = 0; // expected-note {{'p' initialized to a null pointer value}}35 typedef void (TestInstanceCall::*IC_Ptr)();36 IC_Ptr bar = &TestInstanceCall::foo;37 (p->*bar)(); // expected-warning {{Called C++ object pointer is null}} expected-note{{Called C++ object pointer is null}}38}39 40void test_cast(const TestInstanceCall *p) {41 if (!p) // expected-note {{Assuming 'p' is null}} expected-note {{Taking true branch}}42 const_cast<TestInstanceCall *>(p)->foo(); // expected-warning {{Called C++ object pointer is null}} expected-note {{Called C++ object pointer is null}}43}44 45