[splint.git] / test / ansireserved.c

int decimal_point;
int srand;
int labs;
int _x;
int atan2f (void);

typedef int wcst;

# define EVANS 72

int isaFish (void)
{
  /*@unused@*/ int powl;
  /*@unused@*/ float mem; /* okay */
  /*@unused@*/ float memory;
  /*@unused@*/ int wctomb; /* okay as local */

  return 3;
}
Commit	Line	Data
885824d3	1	int decimal_point;
	2	int srand;
	3	int labs;
	4	int _x;
	5	int atan2f (void);
	6
	7	typedef int wcst;
	8
	9	# define EVANS 72
	10
	11	int isaFish (void)
	12	{
	13	/@unused@/ int powl;
	14	/@unused@/ float mem; /* okay */
	15	/@unused@/ float memory;
80ee600a	16	/@unused@/ int wctomb; /* okay as local */
885824d3	17
	18	return 3;
	19	}
	20