test/manual/macros.c

   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 }