| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.cplusplus.UninitializedObject \ |
|---|
| 2 | // RUN: -analyzer-config alpha.cplusplus.UninitializedObject:NotesAsWarnings=true \ |
|---|
| 3 | // RUN: -analyzer-config alpha.cplusplus.UninitializedObject:CheckPointeeInitialization=true \ |
|---|
| 4 | // RUN: -std=c++11 -verify %s |
|---|
| 5 | |
|---|
| 6 | class NotesAsWarningsTest { |
|---|
| 7 | int a; |
|---|
| 8 | int b; |
|---|
| 9 | int dontGetFilteredByNonPedanticMode = 0; |
|---|
| 10 | |
|---|
| 11 | public: |
|---|
| 12 | NotesAsWarningsTest() {} // expected-warning{{uninitialized field 'this->a'}} |
|---|
| 13 | // expected-warning@-1{{uninitialized field 'this->b'}} |
|---|
| 14 | }; |
|---|
| 15 | |
|---|
| 16 | void fNotesAsWarningsTest() { |
|---|
| 17 | NotesAsWarningsTest(); |
|---|
| 18 | } |
|---|
| 19 | |
|---|