home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / release.c < prev    next >
Text File  |  2000-06-12  |  294b  |  27 lines
  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. }
  27.