Quoting Randy Dunlap <rdunlap@xxxxxxxxxxxx>: > > I can't reproduce it with a script that copy your command line > > for mm1 tree either. I need to modify the gcc include path. > > But after that it pass fine. > > > > Can you send me your .config file? > > make allmodconfig 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. -- Regards, Pavel Roskin - To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
