[569] in Athena Bugs
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