| // RUN: %clang_analyze_cc1 -analyzer-checker core,cplusplus -std=c++14 \ |
| // RUN: -analyzer-checker debug.ExprInspection -verify %s |
| |
| void clang_analyzer_eval(bool); |
| |
| struct A { |
| int x; |
| }; |
| |
| A getA(); |
| |
| struct B { |
| int *p; |
| A a; |
| |
| B(int *p) : p(p), a(getA()) {} |
| }; |
| |
| void foo() { |
| B b1(nullptr); |
| clang_analyzer_eval(b1.p == nullptr); // expected-warning{{TRUE}} |
| B b2(new int); // No leak yet! |
| clang_analyzer_eval(b2.p == nullptr); // expected-warning{{FALSE}} |
| // expected-warning@-1{{Potential leak of memory pointed to by 'b2.p'}} |
| } |
