1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,optin.cplusplus.UninitializedObject \
2 // RUN:   -analyzer-config optin.cplusplus.UninitializedObject:Pedantic=true -DPEDANTIC \
3 // RUN:   -analyzer-config optin.cplusplus.UninitializedObject:IgnoreGuardedFields=true \
4 // RUN:   -std=c++11 -verify  %s
6 //===----------------------------------------------------------------------===//
8 //===----------------------------------------------------------------------===//
19 //===----------------------------------------------------------------------===//
21 //===----------------------------------------------------------------------===//
31   int Volume, Area;  member in NoUnguardedFieldsTest
38       Volume = 0;  in NoUnguardedFieldsTest()
46   void operator-() {  in operator -()
53     (void)Volume;  in operator +()
70   int Volume, Area;  member in NoUngardedFieldsNoReturnFuncCalledTest
77       Volume = 0;  in NoUngardedFieldsNoReturnFuncCalledTest()
85   void operator-() {  in operator -()
92     (void)Volume;  in operator +()
111   int Volume, Area;  member in NoUnguardedFieldsWithUndefMethodTest
118       Volume = 0;  in NoUnguardedFieldsWithUndefMethodTest()
126   void operator-() {  in operator -()
133     (void)Volume;  in operator +()
136   // We're checking method definitions for guards, so this is a no-crash test
156   int Volume, Area; // expected-note {{uninitialized field 'this->Volume'}}  member in UnguardedFieldThroughMethodTest
163       Volume = 0;  in UnguardedFieldThroughMethodTest()
166       Area = 0; // expected-warning {{1 uninitialized field}}  in UnguardedFieldThroughMethodTest()
171   void operator-() {  in operator -()
177     (void)Volume;  in operator +()
194   int Volume, Area; // expected-note {{uninitialized field 'this->Volume'}}  member in UnguardedPublicFieldsTest
201       Volume = 0;  in UnguardedPublicFieldsTest()
204       Area = 0; // expected-warning {{1 uninitialized field}}  in UnguardedPublicFieldsTest()
209   void operator-() {  in operator -()
216     (void)Volume;  in operator +()
224 //===----------------------------------------------------------------------===//
226 //===----------------------------------------------------------------------===//
236   int Volume, Area;  member in UnguardedFalseNegativeTest1
243       Volume = 0;  in UnguardedFalseNegativeTest1()
251   void operator-() {  in operator -()
260     (void)Volume;  in operator +()
276   int Volume, Area;  member in UnguardedFalseNegativeTest2
283       Volume = 0;  in UnguardedFalseNegativeTest2()
291   void operator-() {  in operator -()
298     (void)Volume;  in operator +()
306 //===----------------------------------------------------------------------===//
313 //===----------------------------------------------------------------------===//
323   int Volume, Area;  member in IfGuardedFieldsTest
330       Volume = 0;  in IfGuardedFieldsTest()
338   void operator-() {  in operator -()
347     (void)Volume;  in operator +()
364   int Volume, Area;  member in SwitchGuardedFieldsTest
371       Volume = 0;  in SwitchGuardedFieldsTest()
379   int operator-() {  in operator -()
384       return -1;  in operator -()
393       return -1;  in operator +()
411   int Volume, Area;  member in ConditionalOperatorGuardedFieldsTest
418       Volume = 0;  in ConditionalOperatorGuardedFieldsTest()
426   int operator-() {  in operator -()
427     return K == Kind::A ? Area : -1;  in operator -()
431     return K == Kind::V ? Volume : -1;  in operator +()