[splint.git] / test / enumtag.c

typedef struct s_st st;

struct s_st {
  int x;
} ;


typedef enum e_tag tag;

enum e_tag r;

enum e_tag {
  E_X, E_Y, E_Z
} ;

int f (tag e)
{
  if (e == E_X)
    {
      return 3;
    }
  else
    {
      enum e_tag h = E_Z;

      if (h == e)
	{
	  return 7;
	}
    }

  return 12;
}

enum e_tag {
  E_M
} ;
Commit	Line	Data
140c27a8	1	typedef struct s_st st;
	2
	3	struct s_st {
	4	int x;
	5	} ;
	6
	7
	8	typedef enum e_tag tag;
	9
	10	enum e_tag r;
	11
	12	enum e_tag {
	13	E_X, E_Y, E_Z
	14	} ;
	15
	16	int f (tag e)
	17	{
	18	if (e == E_X)
	19	{
	20	return 3;
	21	}
	22	else
	23	{
	24	enum e_tag h = E_Z;
	25
	26	if (h == e)
	27	{
	28	return 7;
	29	}
	30	}
	31
	32	return 12;
	33	}
	34
	35	enum e_tag {
	36	E_M
	37	} ;