[splint.git] / test / manual / macros.c

/*@notfunction@*/
# define NUMTYPES int /*@alt unsigned int, char, float, double@*/
extern NUMTYPES square (NUMTYPES x);
 
int f (int x, char c, float f, double d, char *s)
{
  x = square (x);
  c = square (c);
  square (f);
  square (d);
  square (s);

  return (square (d));
}
Commit	Line	Data
77970e15	1	/@notfunction@/
	2	# define NUMTYPES int /@alt unsigned int, char, float, double@/
	3	extern NUMTYPES square (NUMTYPES x);
	4
	5	int f (int x, char c, float f, double d, char *s)
	6	{
	7	x = square (x);
	8	c = square (c);
	9	square (f);
	10	square (d);
	11	square (s);
	12
	13	return (square (d));
	14	}