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
  50
  51 -e712                   // Loss of precision (___) (___ to ___)
  52 -e713                   // Loss of precision (___) (___ to ___)
  53 -e716                   // while(1) ...
  54 -e732                   // Loss of sign (___) (___ to ___)
  55 -e747                   // Significant prototype coercion (___) ___ to ___