[splint.git] / test / commentchar.c

int f (void) /*#modifies x#*/;

/*#-commentchar %#*/

/*@ignore@*/ 
int x = 'c'; /* not ignored */
/*@end@*/

/*%ignore%*/ 
int x = 'c'; /* is ignored */
/*%end%*/

/*%-commentchar @%*/
/*@-commentchar5*/ 
/*@=commentchar*/
Commit	Line	Data
885824d3	1	int f (void) /#modifies x#/;
	2
	3	/#-commentchar %#/
	4
	5	/@ignore@/
	6	int x = 'c'; /* not ignored */
	7	/@end@/
	8
	9	/%ignore%/
	10	int x = 'c'; /* is ignored */
	11	/%end%/
	12
	13	/%-commentchar @%/
	14	/@-commentchar5/
	15	/@=commentchar/