mirror of
https://github.com/freebsd/freebsd-src
synced 2024-07-21 10:19:04 +00:00
8ad303d68c
Remove /^/[*/]\s*\$FreeBSD\$.*\n/
Similar commit in main:
(cherry picked from commit 2a63c3be15)
55 lines
1.4 KiB
Plaintext
55 lines
1.4 KiB
Plaintext
// 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 ___
|