106 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.UncheckedLocalVarsChecker -verify %s2 3#include "mock-types.h"4#include "mock-system-header.h"5 6void someFunction();7 8namespace local_vars_const_checkedptr_member {9 10class Foo {11public:12 Foo();13 void bar();14 15 CheckedObj& ensureObj3() {16 if (!m_obj3)17 const_cast<CheckedPtr<CheckedObj>&>(m_obj3) = new CheckedObj;18 return *m_obj3;19 }20 21 CheckedObj& ensureObj4() {22 if (!m_obj4)23 const_cast<CheckedPtr<CheckedObj>&>(m_obj4) = new CheckedObj;24 if (auto* next = m_obj4->next()) {25 // expected-warning@-1{{Local variable 'next' is unchecked and unsafe [alpha.webkit.UncheckedLocalVarsChecker]}}26 return *next;27 }28 return *m_obj4;29 }30 31 CheckedObj* ensureObj5() {32 if (!m_obj5)33 const_cast<CheckedPtr<CheckedObj>&>(m_obj5) = new CheckedObj;34 if (m_obj5->next())35 return nullptr;36 return m_obj5.get();37 }38 39private:40 const CheckedPtr<CheckedObj> m_obj1;41 CheckedPtr<CheckedObj> m_obj2;42 const CheckedPtr<CheckedObj> m_obj3;43 const CheckedPtr<CheckedObj> m_obj4;44 const CheckedPtr<CheckedObj> m_obj5;45};46 47void Foo::bar() {48 auto* obj1 = m_obj1.get();49 obj1->method();50 auto* obj2 = m_obj2.get();51 // expected-warning@-1{{Local variable 'obj2' is unchecked and unsafe [alpha.webkit.UncheckedLocalVarsChecker]}}52 obj2->method();53 auto& obj3 = ensureObj3();54 obj3.method();55 auto& obj4 = ensureObj4();56 // expected-warning@-1{{Local variable 'obj4' is unchecked and unsafe [alpha.webkit.UncheckedLocalVarsChecker]}}57 obj4.method();58 auto* obj5 = ensureObj5();59}60 61} // namespace local_vars_const_checkedptr_member62 63namespace local_vars_const_checkedref_member {64 65class Foo {66public:67 Foo();68 void bar();69 70private:71 const CheckedRef<CheckedObj> m_obj1;72 CheckedRef<CheckedObj> m_obj2;73};74 75void Foo::bar() {76 auto& obj1 = m_obj1.get();77 obj1.method();78 auto& obj2 = m_obj2.get();79 // expected-warning@-1{{Local variable 'obj2' is unchecked and unsafe [alpha.webkit.UncheckedLocalVarsChecker]}}80 obj2.method();81}82 83} // namespace local_vars_const_ref_member84 85namespace call_args_const_unique_ptr {86 87class Foo {88public:89 Foo();90 void bar();91 92private:93 const std::unique_ptr<CheckedObj> m_obj1;94 std::unique_ptr<CheckedObj> m_obj2;95};96 97void Foo::bar() {98 auto* obj1 = m_obj1.get();99 obj1->method();100 auto* obj2 = m_obj2.get();101 // expected-warning@-1{{Local variable 'obj2' is unchecked and unsafe [alpha.webkit.UncheckedLocalVarsChecker]}}102 obj2->method();103}104 105} // namespace call_args_const_unique_ptr106