enum e { A, B };

void foo1();
void foo2();
void bar(e F) {
  switch (F) {
  case A: foo1(); return;
  case B: foo2(); return;
  }
  __builtin_unreachable();
}