Added html version of manual. (This is the 7 Jan 2002 version.)

[splint.git] / test / nullret.c

int * f1 () { return 0; }

/*@null@*/
int * f2 () { return 0; }

/*@notnull@*/
int * f3 () { return 0; }