Re: [PATCH] sparse type checking on function pointers

From: Steven Cole (elenstev@mesatop.com)
Date: Tue Jun 10 2003 - 17:33:20 EST


On Tue, 2003-06-10 at 15:24, Dave Olien wrote:
> This patch fixes type checking on function arguments that are pointers
> to functions. Below is an example.
>
That reduced the number of that kind of warning significantly.

[steven@spc1 testing-2.5]$ grep "different base types" build4 | grep "in argument" | wc -l
     37
[steven@spc1 testing-2.5]$ grep "different base types" build5 | grep "in argument" | wc -l
      4
[steven@spc1 testing-2.5]$ grep "different base types" build5 | grep "in argument"
warning: include/linux/mpage.h:24:40: incorrect type in argument 3 (different base types)
warning: include/linux/mpage.h:24:40: incorrect type in argument 3 (different base types)
warning: drivers/ide/ide.c:1872:26: incorrect type in argument 2 (different base types)
warning: drivers/ide/ide.c:1947:25: incorrect type in argument 2 (different base types)

Now, if only Linus would change this:

CHECK = /home/torvalds/parser/check

to something more reasonable like

CHECK = /usr/local/bin/check

Steven

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Sun Jun 15 2003 - 22:00:26 EST