+
+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