test/warnuse/warnuse.c

   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 }