1// RUN: clang -checker-simple -verify %s 2 3void f1(int *p) { 4 if (p) *p = 1; 5 else *p = 0; // expected-warning{{ereference}} 6} 7