test/clauses2.c

   1 extern /*@only@*/ int *new_ip (void);
   2
   3 /*@only@*/ int *f(void)
   4 {
   5   int *x = new_ip ();
   6   int *y;
   7
   8   if (3 > 4)
   9     {
  10       y = x;
  11     }
  12   else
  13     {
  14       free (x);
  15       y = new_ip ();
  16     }
  17
  18   return y;
  19 }