*** empty log message ***

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

diff --git a/test/strchr/strchr.c b/test/strchr/strchr.c
index 4c873d2dd84c8617e16603c25e726902cad6e552..3529d0f6f6ccea855610ce8949d9823bf2f74513 100644 (file)
--- a/test/strchr/strchr.c
+++ b/test/strchr/strchr.c
@@ -3,7 +3,7 @@
 void func () {
   char *c;
   c = strchr("dfdfedfd", 'e');
-  *c = 'd';
+  *c = 'd'; /* modification of observer, possibly null */
 }
 
 void fixline (char * line)