[splint.git] / test / nullret.c

int * f1 () { return 0; }

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

/*@notnull@*/
int * f3 () { return 0; }
Commit	Line	Data
80ee600a	1	int * f1 () { return 0; }
	2
	3	/@null@/
	4	int * f2 () { return 0; }
	5
	6	/@notnull@/
	7	int * f3 () { return 0; }