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

int f (int x)
{
  if (x > 3) {
    /*@notreached@*/ ;
  } else {
    return 3;
    /*@notreached@*/ x = 12;
  }
}
Commit	Line	Data
885824d3	1	int f (int x)
	2	{
	3	if (x > 3) {
	4	/@notreached@/ ;
	5	} else {
	6	return 3;
	7	/@notreached@/ x = 12;
	8	}
	9	}