File ‹$AFP/Isabelle_C/src_ext/parser_menhir/tests/dangling_else.c›

// dangling_else.c
int f(void) {
  if(0)
    if(1) return 1;
   else return 0;
  return 1;
}