usr.sbin/fifolog/flint.lnt

   1 // $FreeBSD$
   2 // FlexeLint file for fifolog tools
   3 //
   4
   5 -passes=3
   6 -ffc
   7
   8 // GCC
   9 -cgnu
  10 +d__FreeBSD__=7
  11 +d__GNUC__=4
  12 +d__GNUC_MINOR__=2
  13 +d__FreeBSD_cc_version=700003
  14 +d__attribute__()=
  15 -d__builtin_va_list=void*   // used by stdarg.h
  16 // -d__builtin_stdarg_start()=_to_semi  // ditto
  17 // -d__builtin_va_start(a,b)=((void)(b),(a)=0)  // ditto
  18 // -d__builtin_va_end()=_to_semi        // ditto
  19 +rw(__inline)   // enable the (non-standard) __inline keyword
  20 +rw(__inline__)   // enable the (non-standard) __inline__ keyword
  21
  22 +d"__unused=/*lint -e{715} -e{818} */"
  23
  24 -e537                   // Repeated include file
  25 -elib(652)              // #define of symbol '...' declared previously
  26 -function(exit,__assert)
  27 -function(exit,err)
  28 -function(exit,errx)
  29 -e716                   // while(1) ...
  30 -e717                   // do ... while(0)
  31
  32 // Ignore return values
  33 -esym(534, memset)
  34 -esym(534, memcpy)
  35 -esym(534, strcpy)
  36 -esym(534, printf)
  37 -esym(534, time)
  38 -esym(534, fprintf)
  39 -esym(534, vfprintf)
  40
  41 +libh(fifolog.h)
  42 +libh(miniobj.h)
  43 +libh(libfifolog.h)
  44
  45 -e713                   // loss of precision sign/unsigned
  46 -e732                   // loss of sign
  47 -e734                   // loss of precision assignment
  48 -e737                   // loss of sign in promotion int->unsigned
  49 -e573                   // sign/unsign mix in divide