test/Coverage/html-diagnostics.c

// RUN: rm -rf %t &&
// RUN: clang --html-diags=%t -checker-simple %s

void f0(int x) {
  int *p = &x;

  if (x > 10) {
    if (x == 22)
      p = 0;
  }

  *p = 10;
}