test/inparam.c

   1 extern unknown (int *x);
   2 extern inparam (/*@in@*/ int *x);
   3
   4 void f (/*@out@*/ int *x)
   5 {
   6   if (3 > 4)
   7     {
   8       unknown (x);
   9     }
  10   else
  11     {
  12       inparam (x);
  13     }
  14 }