int foo() {
  int x = 0;
  return 1 / x;
}