[splint.git] / test / nullterminatedtest / test1.c

#include <stdio.h>

void fcn1 (/*@nullterminated@*/ char *e);

int main (){
/*@unused@*/ char c[];

char *d;

 c[0] = '\0';
fcn1(c);
fcn1("hello");
fcn1(d);

return 0; 
}
Commit	Line	Data
4e4880b7	1	#include <stdio.h>
	2
	3	void fcn1 (/@nullterminated@/ char *e);
	4
	5	int main (){
	6	/@unused@/ char c[];
	7
	8	char *d;
	9
	10	c[0] = '\0';
	11	fcn1(c);
	12	fcn1("hello");
	13	fcn1(d);
	14
	15	return 0;
	16	}