[splint.git] / test / looptesteffect.c


typedef struct elem_ elem;

struct elem_ {
  /*@null@*/ elem *next;
  int val;
};

void foo(/*@null@*/ elem *e)
{
  if ((e != NULL) && (e->val > 2))
    {
      ;
    }

  for (; ((e != NULL) && (e->val > 2)); e=e->next) ;

  for (; ((e == NULL) || (e->val > 2)); e=e->next) ;
}
Commit	Line	Data
52e90c0f	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	}