initializer.cpp revision 9dc84c9455df2a77195147d0210c915dc1775a88 
1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -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