// xfail-boot
// error-pattern:Unsatisfied precondition

fn foo() -> int {
  let int x;
  let int i;

  do {
    i = 0;
    break;
    x = 0;
  } while (1 != 2);

  log(x);

  ret 17;
}

fn main() {
  log(foo());
}