[splint-discuss] Using Splint with Linux Char Driver

[Audet, Jean-Michel]

- I am new to Splint In Linux.. I use splint to check micro-processor
firmware in the past.   

Hi,
	I am having problem using splint to parse a char driver in linux.
My linux Kernel is 2.4.18 i686 single processor.

Here is my .splintrc file content


#LcLint settings 
-larchpath /usr/share/splint/lib
-lclimportdir /usr/share/splint/imports 
-systemdirs /usr/include:/usr/local/lib/:/usr/lib
#-sys-dir-errors
-sys-unrecog
-weak

I always get the following output:
================================
Splint 3.0.1.6 --- 26 Feb 2002

usr/include/asm/types.h:11:24: Parse Error:
     Suspect missing struct or union keyword: _ _signed_ _ :
     unsigned short int. (For help on parse error, see splint -help 
     parseerrors.)
*** Cannot continue.
================================

Thanks for your help.

Jean-Michel Audet
Kontron 
Jean-Michel.Audet at ca.kontron.com