test/Analysis/xfail_regionstore_wine_crash.c


1
2
3
4
5
6
7
8
9
10
11
12

// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region %s &&
// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic %s
// XFAIL

// When this test passes we should put it in the misc-ps.m test file.

void foo() {
  long x = 0;
  char *y = (char *) &x;
  if (!*y)
    return;
}