test/strchr.out

   1
   2 strchr.c: (in function func)
   3 strchr.c:6:4: Dereference of possibly null pointer c: *c
   4    strchr.c:5:7: Storage c may become null
   5 strchr.c:6:3: Suspect modification of observer c: *c = 'd'
   6
   7 Finished checking --- 2 code warnings, as expected