[splint-discuss] Re: Parse errors on Linux headers files

[David Richard Larochelle]

The kernel makes extensive use of gcc extensions.

Using +gnuextensions will help to some extent.

Also try adding the following to your .splintrc file:

-Dasm=__asm__
-D__signed__=signed
-D__attribute=__attribute__

This is probably not enough to get the entire kernel to work but I hope it 
will atleast be a starting point.

-- David


> Hi,
> 
> 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
> files...
> 
> Nathan Huizinga.
> Embedded software engineer.
>