[splint.git] / test / stringliteral.c


char buf[8] = "\000\000\000\000\000\000\000\000";
char bufa[8] = "\000\000\000\000\000\000\000\001";
char buf2[4] = "abcd";
char buf3[4] = "ab\n";
char buf4[4] = "\034\342\24";
char buf5[4] = "abcdef";
Commit	Line	Data
98b591d2	1
	2	char buf[8] = "\000\000\000\000\000\000\000\000";
	3	char bufa[8] = "\000\000\000\000\000\000\000\001";
	4	char buf2[4] = "abcd";
	5	char buf3[4] = "ab\n";
	6	char buf4[4] = "\034\342\24";
	7	char buf5[4] = "abcdef";
	8