test/manual/sumsquares.c

   1 extern int square (/*@sef@*/ int x);
   2 # define square(x) ((x) *(x))
   3
   4 extern int sumsquares (int x, int y);
   5 # define sumsquares(x,y) (square(x) + square(y))
   6
   7 int f (int i)
   8 {
   9   return square (i++);
  10 }
  11