os2/makeos2.cmd: also make in ../lib with `-o' option.

[splint.git] / test / nullret.c

int * f1 () { return 0; }

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

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