Pushed back constraintResolve.c to the previous version.

[splint.git] / test / tests2.4 / emptycase.c

void f (int x) {
  switch (x) {
  case 1:
  }

  switch (x) {
  default:
  }
}