[splint-discuss] splint usage

[Matuschka, Sebastian]

Hi,

 

you have a space after the -I flag, if you want to tell Splint where
your Include directory is, you must type the path directly after the -I,
no space or something else.

Otherwise, like you typed it now, splint thinks those h things at the
end of each path are files which should be checked and you forgot to add
.c or .lcl, adds it and tries to open it.

 

Best Regards

 

Sebastian

 

________________________________

Von: splint-discuss-bounces at cs.virginia.edu
[mailto:splint-discuss-bounces at cs.virginia.edu] Im Auftrag von Jack
Sparrow
Gesendet: Donnerstag, 11. Oktober 2007 16:59
An: splint-discuss at mail.cs.virginia.edu
Betreff: [splint-discuss] splint usage

 

Hi,

I am new to splint and currently trying it on my source which also has a
collection of independent libraries. When I try running splint :

 

splint abc_main.c -I ${bca_project_path}/oss/src
${bca_project_path}/oss/h ${bca_project_path}/cd/h
${bca_project_path}/abc/h ${bac_project_path}/abc/bca/h
${bca_project_path}/abc/caldrv/h ${bca_project_path}/bsp/h
${bca_project_path}/sad/h ${abc_project_path}/lib /abc/xsgaag/com2/h
${bca_project_path}/cos/src +posixlib -preproc


This is the output I get:

Spec file not found: ../../oss/h.lcl
Spec file not found: ../../cd/h.lcl
Spec file not found: ../h.lcl
Spec file not found: ../cdm/h.lcl 
Spec file not found: ../caldrv/h.lcl
Spec file not found: ../../bsp/h.lcl
Spec file not found: ../../sad/h.lcl
Spec file not found: ../../lib.lcl
Spec file not found: ../../com2/h.lcl
Spec file not found: ../../com2/src.lcl 
Cannot open file: ../../oss/h.c
Cannot open file: ../../cd/h.c
Cannot open file: ../h.c
Cannot open file: ../cdm/h.c
Cannot open file: ../caldrv/h.c
Cannot open file: ../../bsp/h.c
Cannot open file: ../../sad/h.c 
Cannot open file: ../../lib.c
Cannot open file: ../../com2/h.c
Cannot open file: ../../com2/src.c
abc_main.c:84:11: Parse Error. (For help on parse errors, see splint
-help
               parseerrors.)
*** Cannot continue.

What seems to be the problem here? Am I missing some flag while invoking
splint?

Thanks.

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071012/18b30be3/attachment.html