test/tclauses/undef.c

   1 extern int glob;
   2 extern /*@only@*/ int *ogp;
   3
   4 int f (void) /*@globals undef glob, killed ogp;@*/
   5 {
   6   free (ogp);
   7   return glob;
   8 }
   9
  10 # if 0
  11 static int sglob;
  12 static /*@only@*/ int *sogp;
  13
  14 int f1 (void) /*@globals undef sglob, killed sogp;@*/
  15 {
  16   free (sogp);
  17   return sglob;
  18 }
  19
  20 # endif