test/manual/loop.c

   1 extern int glob1, glob2;
   2
   3 extern int f (void)
   4   /*@globals glob1@*/
   5   /*@modifies nothing@*/ ;
   6
   7 extern void g (void)
   8   /*@modifies glob2@*/ ;
   9
  10 extern void h (void) ;
  11
  12 void upto (int x)
  13 {
  14   while (x > f()) g();
  15   while (f() < 3) h();
  16 }