test/strchr.expect

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