1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=flat -verify %s 2 3 void f1() { 4 int x; 5 int *p; 6 x = 1; 7 p = 0; 8 if (x != 1) 9 *p = 1; // no-warning 10 } 11
