Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / strchr / strchr.c

diff --git a/test/strchr/strchr.c b/test/strchr/strchr.c
index 0f6f0e24fd40c2b61a9a147e384fa51d82713b4b..1d97c231c389fd31cc6992875dd2a20bab60f8ec 100644 (file)
--- a/test/strchr/strchr.c
+++ b/test/strchr/strchr.c
@@ -1,9 +1,8 @@
-#include "../../lib/ansi.h"
 
 void func () {
   char *c;
   c = strchr("dfdfedfd", 'e');
-  *c = 'd';
+  *c = 'd'; /* modification of observer, possibly null */
 }
 
 void fixline (char * line)