[splint.git] / test / manual / ignore.c

extern int fi (void);
extern bool fb (void);
extern int /*@alt void@*/ 
  fv (void);

int ignore (void)
{
  fi ();                
  (void) fi ();
  fb ();
  fv ();
  return fv ();
}
Commit	Line	Data
77970e15	1	extern int fi (void);
	2	extern bool fb (void);
	3	extern int /@alt void@/
	4	fv (void);
	5
	6	int ignore (void)
	7	{
	8	fi ();
	9	(void) fi ();
	10	fb ();
	11	fv ();
	12	return fv ();
	13	}