[splint.git] / test / switch.c

int f1(int x)
{
  switch (x)
    {
    case 0: return 3;
    case 1: return 4;
    default: return 6;
    }
}

typedef enum _et { ONE, TWO, THREE } et;

int f2 (et x)
{
  switch (x)
    {
    case ONE: return 3;
    case TWO: return 8;
    case THREE: return 12;
    }
}

int f3 (et x)
{
  switch (x)
    {
    case ONE: return 3;
    case TWO: break;
    default:  return 12;
    }
} /* 1. Path with no return in function declared to return int */

int f4 (et x)
{
  switch (x)
    {
    case ONE: return 3;
    case TWO: return 14;
    default:  return 12;
    }
}

int f5 (et x)
{
  switch (x)
    {
    case ONE: return 3;
    case TWO: return 14;
    } /* 2. Missing case in switch: THREE */
} /* 3. Path with no return in function declared to return int */

int f6 (et x)
{
  switch (x)
    {
    case ONE: 
      if (3 > 4)
	{
	  return 3;
	}
      else
	{
	  return 12;
	}
    case TWO: 
      if (3 > 4) break;
      return 14;
    default:  return 12;
    }
} /* 4. Path with no return in function declared to return int */
Commit	Line	Data
885824d3	1	int f1(int x)
	2	{
	3	switch (x)
	4	{
	5	case 0: return 3;
	6	case 1: return 4;
	7	default: return 6;
	8	}
	9	}
	10
	11	typedef enum _et { ONE, TWO, THREE } et;
	12
	13	int f2 (et x)
	14	{
	15	switch (x)
	16	{
	17	case ONE: return 3;
	18	case TWO: return 8;
	19	case THREE: return 12;
	20	}
	21	}
	22
	23	int f3 (et x)
	24	{
	25	switch (x)
	26	{
	27	case ONE: return 3;
	28	case TWO: break;
	29	default: return 12;
	30	}
	31	} /* 1. Path with no return in function declared to return int */
	32
	33	int f4 (et x)
	34	{
	35	switch (x)
	36	{
	37	case ONE: return 3;
	38	case TWO: return 14;
	39	default: return 12;
	40	}
	41	}
	42
	43	int f5 (et x)
	44	{
	45	switch (x)
	46	{
	47	case ONE: return 3;
	48	case TWO: return 14;
	49	} /* 2. Missing case in switch: THREE */
	50	} /* 3. Path with no return in function declared to return int */
	51
	52	int f6 (et x)
	53	{
	54	switch (x)
	55	{
	56	case ONE:
	57	if (3 > 4)
	58	{
	59	return 3;
	60	}
	61	else
	62	{
	63	return 12;
	64	}
65	case TWO:
66	if (3 > 4) break;
67	return 14;
68	default: return 12;
69	}
70	} /* 4. Path with no return in function declared to return int */
71
72
73