[splint.git] / test / tests2.2 / bstring.c

char *s1 = { "hullo" } ;
char *s2 = "hullo";
char *s3 = { 'h', 'u', 'l', 'l', 'o' };
char *s4 = { "hullo", "g'bye" } ;
Commit	Line	Data
885824d3	1	char *s1 = { "hullo" } ;
	2	char *s2 = "hullo";
	3	char *s3 = { 'h', 'u', 'l', 'l', 'o' };
	4	char *s4 = { "hullo", "g'bye" } ;