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