test/looptesteffect.expect

   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