[splint.git] / test / looptesteffect.expect


looptesteffect.c: (in function foo)
looptesteffect.c:18:43: Arrow access from possibly null pointer e (in post loop
                           increment): e->next
   looptesteffect.c:18:43: Storage e may become null

Finished checking --- 1 code warning, as expected
Commit	Line	Data
52e90c0f	1
	2	looptesteffect.c: (in function foo)
	3	looptesteffect.c:18:43: Arrow access from possibly null pointer e (in post loop
	4	increment): e->next
	5	looptesteffect.c:18:43: Storage e may become null
	6
	7	Finished checking --- 1 code warning, as expected