Liping, Presumably it is a bad idea to check Linux kernel sources (heavily based on C99/GCC features) with Splint (C90). I won't even try this. ;-)
It seems that you like to check your sources that include kernel headers. You might like to ignore those system headers (RTM!) and/or to cheat Splint like suggested in the thread "Problem using splint." Bodo _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
