christos e79f03e595 Fix problems with LINTED comment:
if (a) b;
	/*LINTED*/
	c;

	if (a) { b; }
	/*LINTED*/
	c;

	do { b; }
	/*LINTED*/
	while (c);

Produced warnings for c.
1998-11-13 16:48:01 +00:00
..
1998-11-06 22:29:44 +00:00
1998-11-06 22:49:30 +00:00
1998-11-06 22:56:38 +00:00
1998-11-06 22:57:55 +00:00
1998-11-06 22:59:12 +00:00
1998-11-06 23:06:38 +00:00
1998-11-06 23:06:38 +00:00
1998-11-06 23:06:38 +00:00
1998-11-06 23:06:38 +00:00
1998-11-06 23:06:38 +00:00
1998-11-06 23:21:38 +00:00
1998-11-06 22:29:44 +00:00
1998-11-06 22:40:13 +00:00
1998-11-06 22:14:58 +00:00
1998-11-13 16:48:01 +00:00
1998-11-11 05:53:15 +00:00