[splint.git] / src / flex.head

/*
** Inserted at beginning of c files generated by flex
** REMEMBER:  Change flex.reset too.
*/

/*@-allmacros@*/
/*@-pred@*/
/*@-globstate@*/
/*@-null@*/
/*@+boolint@*/
/*@+charint@*/
/*@-macrospec@*/
/*@-macroredef@*/
/*@-exitarg@*/
/*@-compdef@*/
/*@-uniondef@*/
/*@+ignorequals@*/
/*@-noreturn@*/
/*@-mustfree@*/
/*@-compdestroy@*/
/*@-branchstate@*/
/*@-unreachable@*/
/*@-varuse@*/
/*@-fcnuse@*/
/*@-exportlocal@*/
/*@-evalorderuncon@*/
/*@-exportheader@*/
/*@-redecl@*/
/*@-loopswitchbreak@*/
/*@-switchswitchbreak@*/
/*@-sizeoftype@*/
/*@-czechfcns@*/
/*@-noparams@*/
/*@-ansireserved@*/
/*@-ifblock@*/
/*@-whileblock@*/
/*@-forblock@*/
/*@-elseifcomplete@*/
/*@+ptrnegate@*/
/*@-onlytrans@*/
/*@-temptrans@*/
/*@-immediatetrans@*/
/*@-namechecks@*/
/*@+matchanyintegral@*/
/*@-statictrans@*/
/*@-compmempass@*/
/*@-forempty@*/
/*@-evalorder@*/
/*@-retalias@*/
/*@-dependenttrans@*/
/*@-noeffect@*/
/*@-protoparammatch@*/
/*@-casebreak@*/
/*@-retvalother@*/

# ifdef __LCLINT__
/*@-redecl@*/ /*@-type@*/
extern int lsllex (void);
/*@=redecl@*/ /*@=type@*/

/*
** Need to do this because ECHO is defined by the Posix library.  
** flex shouldn't use it.
*/

/*@notfunction@*/
# define ECHO \
  fwrite (yytext, yyleng, 1, yyout)

# ifndef DEFFILENO
extern /*@external@*/ int fileno (/* FILE *stream */);
# define DEFFILENO
# endif
# endif

# ifdef OSF
# undef __GNUC__ 
# endif

/*@-redecl@*/

/* < end of flex.head > */
Commit	Line	Data
885824d3	1	/*
	2	** Inserted at beginning of c files generated by flex
	3	** REMEMBER: Change flex.reset too.
	4	*/
	5
	6	/@-allmacros@/
	7	/@-pred@/
	8	/@-globstate@/
	9	/@-null@/
	10	/@+boolint@/
	11	/@+charint@/
	12	/@-macrospec@/
	13	/@-macroredef@/
	14	/@-exitarg@/
	15	/@-compdef@/
	16	/@-uniondef@/
	17	/@+ignorequals@/
	18	/@-noreturn@/
	19	/@-mustfree@/
	20	/@-compdestroy@/
	21	/@-branchstate@/
	22	/@-unreachable@/
	23	/@-varuse@/
	24	/@-fcnuse@/
	25	/@-exportlocal@/
	26	/@-evalorderuncon@/
	27	/@-exportheader@/
	28	/@-redecl@/
	29	/@-loopswitchbreak@/
	30	/@-switchswitchbreak@/
	31	/@-sizeoftype@/
	32	/@-czechfcns@/
	33	/@-noparams@/
	34	/@-ansireserved@/
	35	/@-ifblock@/
	36	/@-whileblock@/
	37	/@-forblock@/
	38	/@-elseifcomplete@/
	39	/@+ptrnegate@/
	40	/@-onlytrans@/
	41	/@-temptrans@/
	42	/@-immediatetrans@/
	43	/@-namechecks@/
	44	/@+matchanyintegral@/
	45	/@-statictrans@/
	46	/@-compmempass@/
	47	/@-forempty@/
	48	/@-evalorder@/
	49	/@-retalias@/
	50	/@-dependenttrans@/
	51	/@-noeffect@/
	52	/@-protoparammatch@/
	53	/@-casebreak@/
	54	/@-retvalother@/
	55
	56	# ifdef __LCLINT__
	57	/@-redecl@/ /@-type@/
	58	extern int lsllex (void);
	59	/@=redecl@/ /@=type@/
	60
	61	/*
	62	** Need to do this because ECHO is defined by the Posix library.
	63	** flex shouldn't use it.
	64	*/
65
66	/@notfunction@/
67	# define ECHO \
68	fwrite (yytext, yyleng, 1, yyout)
69
70	# ifndef DEFFILENO
71	extern /@external@/ int fileno (/* FILE stream /);
72	# define DEFFILENO
73	# endif
74	# endif
75
76	# ifdef OSF
77	# undef __GNUC__
78	# endif
79
80	/@-redecl@/
81
82	/* < end of flex.head > */
83