From: Benjamin Herrenschmidt <benh@kernel.crashing.org> Date: 2007-07-15 21:41:20
On Sun, 2007-07-15 at 20:59 +0100, Al Viro wrote:
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Acked-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Out of curiosity, how did you pick it up ? You have some automated tool
to catch that (or sparse changes) or you just did -lots- of code
inspection ?
Cheers,
Ben.
On Mon, Jul 16, 2007 at 07:40:38AM +1000, Benjamin Herrenschmidt wrote:
On Sun, 2007-07-15 at 20:59 +0100, Al Viro wrote:
quoted
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Acked-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Out of curiosity, how did you pick it up ? You have some automated tool
to catch that (or sparse changes) or you just did -lots- of code
inspection ?
While testing sparse changes, actually (comparing pointers to null
pointer constant spelled without a cast to void *)... That gave several
hundred hits, most of them being immediately obvious (picking the lines
by file and line number and looking through the list had eliminated all
but about a dozen or two). Several were not...
From: Benjamin Herrenschmidt <benh@kernel.crashing.org> Date: 2007-07-15 22:08:15
On Sun, 2007-07-15 at 23:02 +0100, Al Viro wrote:
On Mon, Jul 16, 2007 at 07:40:38AM +1000, Benjamin Herrenschmidt wrote:
quoted
On Sun, 2007-07-15 at 20:59 +0100, Al Viro wrote:
quoted
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Acked-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Out of curiosity, how did you pick it up ? You have some automated tool
to catch that (or sparse changes) or you just did -lots- of code
inspection ?
While testing sparse changes, actually (comparing pointers to null
pointer constant spelled without a cast to void *)... That gave several
hundred hits, most of them being immediately obvious (picking the lines
by file and line number and looking through the list had eliminated all
but about a dozen or two). Several were not...
Ok. In fact, it would have been nice if gcc had been able to pick it up
for another reason. The old code is:
if (cascade == NULL)
return;
cascade_irq = irq_of_parse_and_map(cascade, 0);
if (cascade == NO_IRQ) {
printk(KERN_ERR "mpic: failed to map cascade interrupt");
return;
}
And NO_IRQ is 0 on powerpc nowadays. Thus the test can never be true :-)
But it looks like gcc doesn't pick that up.
Ben.