test/moduncon.c

   1 int *mmod (int *);
   2 int *umod (int *);
   3
   4 int f (int *x)
   5 {
   6   (void) umod (mmod (umod (x)));
   7   return *x;
   8 }
   9
  10 int g (int *x) /*@*/
  11 {
  12   (void) umod (x);
  13   (void) umod (mmod (umod (x)));
  14   return *x;
  15 }