[splint.git] / test / strchr.expect


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

Finished checking --- 2 code warnings, as expected
Commit	Line	Data
754e4dbd	1
754e4dbd	2	strchr.c: (in function func)
16c024b5	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
754e4dbd	7
11db3170	8	Finished checking --- 2 code warnings, as expected