initializer.cpp revision c4d2c9074be6eb2091086eddd6c8f052f3b245c8 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -cfg-add-initializers -verify %s
2
3class A {
4  int x;
5public:
6  A();
7};
8
9A::A() : x(0) {
10  if (x != 0) {
11    int *p = 0;
12    *p = 0; // no-warning
13  }
14}
15