6e482ac5ad
Rename ...write_bytes... to ...write_records..., that's what they do. Move writer .h stuff into writer private .h file. Change logic in writer to support both fifolog usage in FreeBSD and Measured usage better, by always using an input buffer. Various cleanups.
56 lines
1.4 KiB
Plaintext
56 lines
1.4 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
|
|
|
|
-e712 // Loss of precision (___) (___ to ___)
|
|
-e713 // Loss of precision (___) (___ to ___)
|
|
-e716 // while(1) ...
|
|
-e732 // Loss of sign (___) (___ to ___)
|
|
-e747 // Significant prototype coercion (___) ___ to ___
|