I ever tried to ignore system headers by editing "+skip-sys-headers"in .splintrc. But many errors happened as many keywords defined originally in sys headers cann't be known by splint. If I redefined all these keywords I would be a hard work.
I think cheating splint may meet the same problem. Liping -----邮件原件----- 发件人: splint-discuss-boun...@cs.virginia.edu [mailto:splint-discuss-boun...@cs.virginia.edu] 代表 Wenzel, Bodo 发送时间: 2009年8月20日 14:54 收件人: splint-discuss@mail.cs.virginia.edu 主题: Re: [splint-discuss] parser error on ktime_t using splint on 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 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
