[splint.git] / src / cgrammar.c.der

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

/*@-allmacros@*/
/*@+boolint@*/
/*@+charint@*/
/*@-macroparams@*/
/*@-macroundef@*/
/*@-unreachable@*/
/*@-macrospec@*/
/*@-varuse@*/
/*@+ignorequals@*/
/*@-macrostmt@*/
/*@-noeffect@*/
/*@-shadow@*/
/*@-exitarg@*/
/*@-macroredef@*/
/*@-uniondef@*/
/*@-compdef@*/
/*@-matchfields@*/
/*@-exportlocal@*/
/*@-evalorderuncon@*/
/*@-exportheader@*/
/*@-typeuse@*/
/*@-redecl@*/
/*@-redef@*/
/*@-noparams@*/
/*@-ansireserved@*/
/*@-fielduse@*/
/*@-ifblock@*/
/*@-elseifcomplete@*/
/*@-whileblock@*/
/*@-forblock@*/
/*@-branchstate@*/
/*@-readonlytrans@*/
/*@-namechecks@*/
/*@-usedef@*/
/*@-systemunrecog@*/
/*@-dependenttrans@*/
/*@-unqualifiedtrans@*/
/*@-nullassign@*/
/*@-nullpass@*/
/*@-nullptrarith*/
/*@-usereleased@*/
/*@-declundef@*/

/*drl added 11/27/2001*/
/*@-bounds@*/
/* < end of bison.head > */

/*
** Resets all flags in bison.head
*/


/*@=allmacros@*/
/*@=boolint@*/
/*@=charint@*/
/*@=macroparams@*/
/*@=macroundef@*/
/*@=unreachable@*/
/*@=macrospec@*/
/*@=varuse@*/
/*@=ignorequals@*/
/*@=macrostmt@*/
/*@=noeffect@*/
/*@=shadow@*/
/*@=exitarg@*/
/*@=macroredef@*/
/*@=uniondef@*/
/*@=compdef@*/
/*@=matchfields@*/
/*@=exportlocal@*/
/*@=evalorderuncon@*/
/*@=exportheader@*/
/*@=typeuse@*/
/*@=redecl@*/
/*@=redef@*/
/*@=noparams@*/
/*@=ansireserved@*/
/*@=fielduse@*/
/*@=ifblock@*/
/*@=elseifcomplete@*/
/*@=whileblock@*/
/*@=forblock@*/
/*@=branchstate@*/
/*@=readonlytrans@*/
/*@=namechecks@*/
/*@=usedef@*/
/*@=systemunrecog@*/
/*@=dependenttrans@*/
/*@=unqualifiedtrans@*/
/*@=declundef@*/


/*drl added 11/27/2001*/
/*@=bounds@*/
Commit	Line	Data
885824d3	1	/*
	2	** Inserted at beginning of c files generated by bison
	3	** REMEMBER: Change bison.reset too.
	4	*/
	5
	6	/@-allmacros@/
	7	/@+boolint@/
	8	/@+charint@/
	9	/@-macroparams@/
	10	/@-macroundef@/
	11	/@-unreachable@/
	12	/@-macrospec@/
	13	/@-varuse@/
	14	/@+ignorequals@/
	15	/@-macrostmt@/
	16	/@-noeffect@/
	17	/@-shadow@/
	18	/@-exitarg@/
	19	/@-macroredef@/
	20	/@-uniondef@/
	21	/@-compdef@/
	22	/@-matchfields@/
	23	/@-exportlocal@/
	24	/@-evalorderuncon@/
	25	/@-exportheader@/
	26	/@-typeuse@/
	27	/@-redecl@/
	28	/@-redef@/
	29	/@-noparams@/
	30	/@-ansireserved@/
	31	/@-fielduse@/
	32	/@-ifblock@/
	33	/@-elseifcomplete@/
	34	/@-whileblock@/
	35	/@-forblock@/
	36	/@-branchstate@/
	37	/@-readonlytrans@/
	38	/@-namechecks@/
	39	/@-usedef@/
	40	/@-systemunrecog@/
	41	/@-dependenttrans@/
	42	/@-unqualifiedtrans@/
	43	/@-nullassign@/
2e127cb8	44	/@-nullpass@/
	45	/@-nullptrarith/
	46	/@-usereleased@/
c05aefaa	47	/@-declundef@/
885824d3	48
c05aefaa	49	/drl added 11/27/2001/
bb7c2085	50	/@-bounds@/
885824d3	51	/* < end of bison.head > */
885824d3	52
c05aefaa	53	/*
	54	** Resets all flags in bison.head
	55	*/
	56
885824d3	57
c05aefaa	58	/@=allmacros@/
	59	/@=boolint@/
	60	/@=charint@/
	61	/@=macroparams@/
	62	/@=macroundef@/
	63	/@=unreachable@/
	64	/@=macrospec@/
	65	/@=varuse@/
	66	/@=ignorequals@/
	67	/@=macrostmt@/
	68	/@=noeffect@/
	69	/@=shadow@/
	70	/@=exitarg@/
	71	/@=macroredef@/
	72	/@=uniondef@/
	73	/@=compdef@/
	74	/@=matchfields@/
	75	/@=exportlocal@/
	76	/@=evalorderuncon@/
	77	/@=exportheader@/
	78	/@=typeuse@/
	79	/@=redecl@/
	80	/@=redef@/
	81	/@=noparams@/
	82	/@=ansireserved@/
	83	/@=fielduse@/
	84	/@=ifblock@/
	85	/@=elseifcomplete@/
	86	/@=whileblock@/
	87	/@=forblock@/
	88	/@=branchstate@/
	89	/@=readonlytrans@/
	90	/@=namechecks@/
	91	/@=usedef@/
	92	/@=systemunrecog@/
	93	/@=dependenttrans@/
	94	/@=unqualifiedtrans@/
	95	/@=declundef@/
	96
	97
	98	/drl added 11/27/2001/
bb7c2085	99	/@=bounds@/