[splint.git] / test / stringliteral.expect


stringliteral.c:3:16: String literal with 9 characters is assigned to char [8]
    (no room for null terminator): "\000\000\000\000\000\000\000\001"
stringliteral.c:4:16: String literal with 5 characters is assigned to char [4]
                         (no room for null terminator): "abcd"
stringliteral.c:7:16: String literal with 7 characters (counting null
    terminator) is assigned to char [4] (insufficient storage available):
    "abcdef"

Finished checking --- 3 code warnings, as expected

stringliteral.c:2:15: String literal with 9 characters is assigned to char [8]
    (no room for final null terminator): "\000\000\000\000\000\000\000\000"
stringliteral.c:3:16: String literal with 9 characters is assigned to char [8]
    (no room for null terminator): "\000\000\000\000\000\000\000\001"
stringliteral.c:4:16: String literal with 5 characters is assigned to char [4]
                         (no room for null terminator): "abcd"
stringliteral.c:7:16: String literal with 7 characters (counting null
    terminator) is assigned to char [4] (insufficient storage available):
    "abcdef"

Finished checking --- 4 code warnings, as expected
Commit	Line	Data
98b591d2	1
98b591d2	2	stringliteral.c:3:16: String literal with 9 characters is assigned to char [8]
	3	(no room for null terminator): "\000\000\000\000\000\000\000\001"
	4	stringliteral.c:4:16: String literal with 5 characters is assigned to char [4]
	5	(no room for null terminator): "abcd"
	6	stringliteral.c:7:16: String literal with 7 characters (counting null
	7	terminator) is assigned to char [4] (insufficient storage available):
	8	"abcdef"
	9
37ae0b5e	10	Finished checking --- 3 code warnings, as expected
98b591d2	11
37ae0b5e	12	stringliteral.c:2:15: String literal with 9 characters is assigned to char [8]
37ae0b5e	13	(no room for final null terminator): "\000\000\000\000\000\000\000\000"
98b591d2	14	stringliteral.c:3:16: String literal with 9 characters is assigned to char [8]
	15	(no room for null terminator): "\000\000\000\000\000\000\000\001"
	16	stringliteral.c:4:16: String literal with 5 characters is assigned to char [4]
	17	(no room for null terminator): "abcd"
	18	stringliteral.c:7:16: String literal with 7 characters (counting null
	19	terminator) is assigned to char [4] (insufficient storage available):
	20	"abcdef"
	21
37ae0b5e	22	Finished checking --- 4 code warnings, as expected