mirror of
https://github.com/freebsd/freebsd-src.git
synced 2024-11-28 17:43:28 +00:00
50 lines
1.1 KiB
Plaintext
50 lines
1.1 KiB
Plaintext
|
// $FreeBSD$
|
||
|
|
// FlexeLint file for fifolog tools
|
||
|
|
//
|
||
|
|
|
||
|
|
-passes=3
|
||
|
|
-ffc
|
||
|
|
|
||
|
|
// GCC
|
||
|
|
-cgnu
|
||
|
|
+d__FreeBSD__=7
|
||
|
|
+d__GNUC__=4
|
||
|
|
+d__GNUC_MINOR__=2
|
||
|
|
+d__FreeBSD_cc_version=700003
|
||
|
|
+d__attribute__()=
|
||
|
|
-d__builtin_va_list=void* // used by stdarg.h
|
||
|
|
// -d__builtin_stdarg_start()=_to_semi // ditto
|
||
|
|
// -d__builtin_va_start(a,b)=((void)(b),(a)=0) // ditto
|
||
|
|
// -d__builtin_va_end()=_to_semi // ditto
|
||
|
|
+rw(__inline) // enable the (non-standard) __inline keyword
|
||
|
|
+rw(__inline__) // enable the (non-standard) __inline__ keyword
|
||
|
|
|
||
|
|
+d"__unused=/*lint -e{715} -e{818} */"
|
||
|
|
|
||
|
|
-e537 // Repeated include file
|
||
|
|
-elib(652) // #define of symbol '...' declared previously
|
||
|
|
-function(exit,__assert)
|
||
|
|
-function(exit,err)
|
||
|
|
-function(exit,errx)
|
||
|
|
-e716 // while(1) ...
|
||
|
|
-e717 // do ... while(0)
|
||
|
|
|
||
|
|
// Ignore return values
|
||
|
|
-esym(534, memset)
|
||
|
|
-esym(534, memcpy)
|
||
|
|
-esym(534, strcpy)
|
||
|
|
-esym(534, printf)
|
||
|
|
-esym(534, time)
|
||
|
|
-esym(534, fprintf)
|
||
|
|
-esym(534, vfprintf)
|
||
|
|
|
||
|
|
+libh(fifolog.h)
|
||
|
|
+libh(miniobj.h)
|
||
|
|
+libh(libfifolog.h)
|
||
|
|
|
||
|
|
-e713 // loss of precision sign/unsigned
|
||
|
|
-e732 // loss of sign
|
||
|
|
-e734 // loss of precision assignment
|
||
|
|
-e737 // loss of sign in promotion int->unsigned
|
||
|
|
-e573 // sign/unsign mix in divide
|