fune/tools/clang-tidy/test/clang-analyzer-core.DivideZero.cpp

void test(int z) {
  if (z == 0)
    int x = 1 / z;
}