Changed checking of complete descruction so +strictdestroy is no

[splint.git] / test / nullret.c

int * f1 () { return 0; }

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

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