[splint.git] / test / lintcomments.c

int f (int x)
{
  int i = 0;

  switch (x)
    {
    case 1: i++; /*@fallthrough@*/ /*FALLTHROUGH*/
    case 2: i++; /*FALLTHROUGH*/
    case 3: i++; /*FALLTHRU*/
    case 4: i++;
    default: i++;
    }

  if (i > 2)
    {
      return i;
      /*@notreached@*/
      i++;
    }
  else
    {
      return i;
      /*NOTREACHED*/
      i++;
    }

  /*@notreached@*/ return 3; 
}
Commit	Line	Data
885824d3	1	int f (int x)
	2	{
	3	int i = 0;
	4
	5	switch (x)
	6	{
fafc64cf	7	case 1: i++; /@fallthrough@/ /FALLTHROUGH/
885824d3	8	case 2: i++; /FALLTHROUGH/
	9	case 3: i++; /FALLTHRU/
	10	case 4: i++;
	11	default: i++;
	12	}
	13
	14	if (i > 2)
	15	{
	16	return i;
	17	/@notreached@/
	18	i++;
	19	}
	20	else
	21	{
	22	return i;
	23	/NOTREACHED/
	24	i++;
	25	}
	26
	27	/@notreached@/ return 3;
	28	}