SKIP: FAILED

warning: code is unreachable
static uint var_1 = 0u;

void main_1() {
  [loop] while (true) {
    discard;
  }
  discard;
}

void main() {
  main_1();
  return;
}