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

extern int f (void) 
     /*@warn wusef "f is a very dangerous function!" @*/ ;

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

extern int h (void)
     /*@warn bufferoverflow|its4|hfuncs@*/ ;

int wfunc ()
{
  return f () + g () + h ();
}
Commit	Line	Data
80ee600a	1	extern int f (void)
	2	/@warn wusef "f is a very dangerous function!" @/ ;
	3
	4	extern int g (void)
	5	/@warn bufferoverflow\|its4 "g is a very dangerous function!" @/ ;
	6
	7	extern int h (void)
	8	/@warn bufferoverflow\|its4\|hfuncs@/ ;
	9
	10	int wfunc ()
	11	{
	12	return f () + g () + h ();
	13	}