[splint.git] / test / csyntax12.c

typedef int gender;

int f()
{
  static char *gender[] = { "male", "female", "?" };

  if (*gender[1] == *gender[2])
    return 3;
  else
    return 5;
}
Commit	Line	Data
885824d3	1	typedef int gender;
	2
	3	int f()
	4	{
	5	static char *gender[] = { "male", "female", "?" };
	6
	7	if (gender[1] == gender[2])
	8	return 3;
	9	else
	10	return 5;
	11	}