1 2 3 4 5 6 7
// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s void f() { long x = 0; char *y = (char*) &x; char c = y[0] + y[1] + y[2]; // no-warning }