test/manual/usedef.c

   1 extern void
   2   setVal (/*@out@*/ int *x);
   3 extern int
   4   getVal (/*@in@*/ int *x);
   5 extern int mysteryVal (int *x);
   6
   7 int
   8 dumbfunc (/*@out@*/ int *x, int i)
   9 {
  10   if (i > 3)
  11     return *x;
  12   else if (i > 1)
  13     return getVal (x);
  14   else if (i == 0)
  15     return mysteryVal (x);
  16   else
  17     {
  18       setVal (x);
  19       return *x;
  20     }
  21 }