[splint.git] / test / warnuse / warnflags.c

extern int f (void) 
     /*@warn bufferoverflow|statemerge "g is a very dangerous function!" @*/ ;

int wflags ()
{
  return f ();
}
Commit	Line	Data
80ee600a	1	extern int f (void)
	2	/@warn bufferoverflow\|statemerge "g is a very dangerous function!" @/ ;
	3
	4	int wflags ()
	5	{
	6	return f ();
	7	}