test/looptesteffect.c

   1
   2 typedef struct elem_ elem;
   3
   4 struct elem_ {
   5   /*@null@*/ elem *next;
   6   int val;
   7 };
   8
   9 void foo(/*@null@*/ elem *e)
  10 {
  11   if ((e != NULL) && (e->val > 2))
  12     {
  13       ;
  14     }
  15
  16   for (; ((e != NULL) && (e->val > 2)); e=e->next) ;
  17
  18   for (; ((e == NULL) || (e->val > 2)); e=e->next) ;
  19 }