home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / returned.c < prev    next >
C/C++ Source or Header  |  2001-07-03  |  224b  |  17 lines
  1. extern char *returnme (/*@returned@*/ char *s);
  2.  
  3. /*@only@*/ char *f (void)
  4. {
  5.   char *s = (char *) malloc (sizeof (char));
  6.   *s = 'a';
  7.  
  8.   if (3 > 4)
  9.     {
  10.       return s;
  11.     }
  12.   else
  13.     {
  14.       return returnme (s);
  15.     }
  16. }
  17.