// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -analyzer-inline-call -cfg-add-initializers -verify %s
// XFAIL: *
class A {
int x;
public:
A();
int getx() const {
return x;
}
};
A::A() : x(0) {
}
class B : public A {
int y;
public:
B();
};
B::B() {
}
void f() {
B b;
if (b.getx() != 0) {
int *p = 0;
*p = 0; // no-warning
}
}