X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/bb25bea60268559306e8a0fc4d44990ba3ebea32..68de3f33cfd8b4bd66fe22f6069e2658082bdf58:/test/strchr.out diff --git a/test/strchr.out b/test/strchr.out index f54bbeb..5a3bf3c 100644 --- a/test/strchr.out +++ b/test/strchr.out @@ -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