test/manual/annotglobs.c

   1 int globnum;
   2
   3 struct {
   4   char *firstname, *lastname;
   5   int id;
   6 } globname;
   7
   8 void
   9 initialize (/*@only@*/ char *name)
  10   /*@globals undef globnum,
  11              undef globname @*/
  12 {
  13   globname.id = globnum;
  14   globname.lastname = name;
  15 }
  16
  17 void finalize (void)
  18    /*@globals killed globname@*/
  19 {
  20   free (globname.lastname);
  21 }