[splint.git] / test / flags.c

int x = 'c';

/*@-linelen 25@*/

int y = 'c';

/*@+linelen 13@*/
/*@+internalnamelen 2@*/

int xx1;
int xx2;

/*@=linelen 25@*/
/*@-linelen 70@*/
/*@-dump asdf@*/
/*@-macrovarprefix@*/
/*@-macrovarprefix    @*/
/*@-linelen asdf@*/
Commit	Line	Data
885824d3	1	int x = 'c';
	2
	3	/@-linelen 25@/
	4
	5	int y = 'c';
	6
	7	/@+linelen 13@/
	8	/@+internalnamelen 2@/
	9
	10	int xx1;
	11	int xx2;
	12
	13	/@=linelen 25@/
	14	/@-linelen 70@/
	15	/@-dump asdf@/
	16	/@-macrovarprefix@/
	17	/@-macrovarprefix @/
	18	/@-linelen asdf@/