mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-23 11:18:54 +00:00
662cb04c25
Quoth the man-page: Fifologs provide a compact round-robin circular storage for recording text and binary information to permanent storage in a bounded and pre- dictable fashion, time and space wise. Not yet connected to the build, but feel free to test & review.
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
|