*** empty log message ***

[splint.git] / test / tests2.2a / notreached.c

int f (int x)
{
  if (x > 3) {
    /*@notreached@*/ ;
  } else {
    return 3;
    /*@notreached@*/ x = 12;
  }
}