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 ___
56