File: warnflags.c

package info (click to toggle)

splint 3.1.2.dfsg1-1

file content (7 lines) | stat: -rw-r--r-- 134 bytes

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

int wflags ()
{
  return f ();
}