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