]> andersk Git - splint.git/blobdiff - test/chararraylit.expect
Improved tracking of state change locations. Added +showdeephistory
[splint.git] / test / chararraylit.expect
index ec76a4e584f823f1765555acb7418537a0b4d8c4..43dfab3d12ac0f61d584a927249db8f73bc5a2c3 100644 (file)
@@ -3,5 +3,6 @@ chararraylit.c: (in function f)
 chararraylit.c:8:16: String literal with 4 characters is assigned to char [3]
                         (no room for null terminator): "abc"
 chararraylit.c:13:3: Suspect modification of observer p: *p = 'c'
+   chararraylit.c:9:13: Storage *p becomes observer
 
 Finished checking --- 2 code warnings, as expected
This page took 0.037695 seconds and 4 git commands to generate.