home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / nullret.c < prev    next >
Text File  |  2001-07-03  |  106b  |  8 lines
  1. int * f1 () { return 0; }
  2.  
  3. /*@null@*/
  4. int * f2 () { return 0; }
  5.  
  6. /*@notnull@*/
  7. int * f3 () { return 0; } 
  8.