]> andersk Git - splint.git/blobdiff - test/strchr.out
*** empty log message ***
[splint.git] / test / strchr.out
index f54bbebeea89879cf68351a34750d19af87dbfe0..5a3bf3c669c9fd3f7e55015993c293450eefcd40 100644 (file)
@@ -2,5 +2,6 @@
 strchr.c: (in function func)
 strchr.c:6:4: Dereference of possibly null pointer c: *c
    strchr.c:5:7: Storage c may become null
+strchr.c:6:3: Suspect modification of observer c: *c = 'd'
 
-Finished LCLint checking --- 1 code error found
+Finished LCLint checking --- 2 code errors found, as expected
This page took 0.031726 seconds and 4 git commands to generate.