test/manual/order.c

   1 extern int glob;
   2
   3 extern int mystery (void);
   4
   5 extern int modglob (void)
   6    /*@globals glob@*/
   7    /*@modifies glob@*/ ;
   8
   9 int f (int x, int y[])
  10 {
  11   int i = x++ * x;
  12
  13   y[i] = i++;
  14   i += modglob() * glob;
  15   i += mystery() * glob;
  16   return i;
  17 }