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 4c873d2dd84c8617e16603c25e726902cad6e552..1d97c231c389fd31cc6992875dd2a20bab60f8ec 100644 (file)
--- a/test/strchr/strchr.c
+++ b/test/strchr/strchr.c
@@ -1,9 +1,8 @@
 
-
 void func () {
   char *c;
   c = strchr("dfdfedfd", 'e');
-  *c = 'd';
+  *c = 'd'; /* modification of observer, possibly null */
 }
 
 void fixline (char * line)