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