[splint-discuss] Re: Parse errors on Linux headers files
David Richard Larochelle
drl7x at cs.virginia.edu
Tue Dec 17 14:12:58 EST 2002
The kernel makes extensive use of gcc extensions.
Using +gnuextensions will help to some extent.
Also try adding the following to your .splintrc file:
This is probably not enough to get the entire kernel to work but I hope it
will atleast be a starting point.
> I'm interrested if anyone has being able to use splint when checking
> device drivers on a Linux system wihtout getting parse errors?!?
> Currently splint keeps getting a parse error in:
> "/usr/src/linux-2.4/include/asm/spinlock.h". It seems that the construction
> asm volatile(...) is not parseable by splint?!?
> Any suggestions are welcome without having to change/modify the system header
> Nathan Huizinga.
> Embedded software engineer.
More information about the splint-discuss