test/manual/only.c

   1 extern /*@only@*/ int *glob;
   2
   3 /*@only@*/ int *
   4   f (/*@only@*/ int *x, int *y,
   5      int *z)
   6   /*@globals int *glob;@*/
   7 {
   8   int *m = (int *)
   9     malloc (sizeof (int));
  10
  11   glob = y;
  12   free (x);
  13   *m = *x;
  14   return z;
  15 }