[splint-discuss] splint usage
Jack Sparrow
virtualspy3 at gmail.com
Mon Oct 15 07:43:43 PDT 2007
Hi,
Thanks for the comments, I got rid of the above error. However, I am now
getting a parse error after running splint on the same se of source files,
which says:
usr/include/bits/sigthread.h:33:18: Parse Error:
Inconsistent function parameter syntax: __sigset_t :
<any>. (For help on parse errors, see splint -help parseerrors.)
This is after adding the following flags:
-prepoc, -filextensions, +trytorecover, +posixlib.
How can correct this error?
Thanks.
On 10/12/07, Michael Wojcik <Michael.Wojcik at microfocus.com> wrote:
>
>
> > From: splint-discuss-bounces at cs.virginia.edu
> [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of Matuschka,
> Sebastian
> > Sent: Friday, 12 October, 2007 02:14
>
> > 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.
>
> More specifically, that's "-I", no space, and the path *for each of your
> include directories*. What you have now is "-I", a space, and then a
> list of include directories separated by spaces.
>
> So what you want is something like:
>
> splint abc_main.c -I${bca_project_path}/oss/src \
> -I${bca_project_path}/oss/h \
> -I${bca_project_path}/cd/h ...
>
> --
> Michael Wojcik
> Principal Software Systems Developer, Micro Focus
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071015/12198ecf/attachment.html
More information about the splint-discuss
mailing list