clang/test/Analysis/scan-build/Inputs/null_dereference_and_division_by_zero.c

int test(int x) {
  if (x) {
    int *p = 0;
    return *p; // Null dereference.
  } else {
    return 1 / x; // Division by zero.
  }
}