void f() {
  do
    ;
  while (true);
  do {
  } while (false);
}