[splint.git] / test / strchr.out


strchr.c: (in function func)
strchr.c:6:4: Dereference of possibly null pointer c: *c
   strchr.c:5:7: Storage c may become null
strchr.c:6:3: Suspect modification of observer c: *c = 'd'

Finished checking --- 2 code warnings, as expected
Commit	Line	Data
86d93ed3	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