Home | History | Annotate | Download | only in Analysis
      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 
      9 A::A() : x(0) {
     10   if (x != 0) {
     11     int *p = 0;
     12     *p = 0; // no-warning
     13   }
     14 }
     15