Fixed bug preventing +showconstraintlocation from being the default.

[splint.git] / test / stringliteral.expect

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

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