[569] in Athena Bugs

home help back first fref pref prev next nref lref last post

Bug in lint.

daemon@ATHENA.MIT.EDU (Bill Sommerfeld)
Sat Jul 30 17:28:04 1988

Date: Sat, 30 Jul 88 17:26:13 EDT
From: Bill Sommerfeld <wesommer@ATHENA.MIT.EDU>
To: bugs@ATHENA.MIT.EDU
[This is probably not a new bug].

foo(l)
	unsigned int l;
{
	while (l > 0) {
		l--;
	}
}
	

% lint /tmp/foo.c
/tmp/foo.c:
/tmp/foo.c(4): warning: degenerate unsigned comparison
foo defined( /tmp/foo.c(3) ), but never used

The first error message is incorrect; the only degenerate unsigned
comparisons are ">=" or "<" 0.

				- Bill

home help back first fref pref prev next nref lref last post