test/release.c

   1 /*@only@*/ /*@null@*/ int *f(void)
   2 {
   3   int *x = NULL;
   4   int *z;
   5
   6   if (3 > 4)
   7     {
   8       int *y1 = malloc (sizeof (int));
   9       int *y2 = malloc (sizeof (int));
  10
  11       if (y1 != NULL)
  12         {
  13           *y1 = 3;
  14         }
  15
  16       if (y2 != NULL)
  17         {
  18           *y2 = 3;
  19         }
  20
  21       x = y1;
  22       z = y2;
  23     }
  24
  25   return x;
  26 }