| | 1 | |
| | 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 | |
| | 10 | Finished checking --- 3 code warnings, as expected |
| | 11 | |
| | 12 | stringliteral.c:2:15: String literal with 9 characters is assigned to char [8] |
| | 13 | (no room for final null terminator): "\000\000\000\000\000\000\000\000" |
| | 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 | |
| | 22 | Finished checking --- 4 code warnings, as expected |
andersk / splint.git / blame_incremental