Re: sparse segfault in kernel -mm tree

[Pavel Roskin <proski@gnu.org>]

On Mon, 2007-03-05 at 22:40 -0800, Randy Dunlap wrote:
> On Tue,  6 Mar 2007 00:42:43 -0500 Pavel Roskin wrote:
> > There is a relatively easy way to get the problematic file.  Remove the
> > corresponding object file and run this in the Linux build tree:
> > 
> > make CC="gcc -save-temps -D__CHECKER__"
> > 
> > This will likely fail, but there will be a file with *.i extension that would
> > probably cause the same problem with sparse.  That file can be renamed back to
> > *.c, indented and, time permitting, reduced to a few lines.
> 
> Sorry, that's not giving me anything from drivers/net/vioc/.
> It dies on init/main.c:
> 
> init/main.c: At top level:
> init/main.c:431: warning: 'context' attribute directive ignored
> init/main.c:431: error: expected ',' or ';' before '{' token

My bad, sorry.  I tested in on a standalone driver.  Here's a version
tested on the actual kernel tree:

make CC="gcc -save-temps -D__CHECKER__" KBUILD_NOCMDDEP=1

KBUILD_NOCMDDEP=1 prevents rebuilding other files when CC changes.  If
you still get stuck on another file, please also add "-k" to the command
line.

-- 
Regards,
Pavel Roskin