[splint-discuss] newbie question: parse error
David Evans
evans at cs.virginia.edu
Mon Sep 29 09:12:16 EDT 2003
On Mon, 29 Sep 2003, Roland Illig wrote:
> On Mon, Sep 29, 2003 at 08:44:53AM +0800, Nayan wrote:
> > How do I include posixlib with Splint ? At present I am using two
> > command line options:
> > 1) +posixlib (as told in http://splint.org/manual/manual.html )
> > 2) -posix-lib ( given in man page for splint)
> > I do not understand difference between the two options :(
>
> I don't know them either, but I prefer the first one, because many other
> splint options use them. I think it was a misconcept to make "-" the
> standard option prefix some ages ago. A "+" prefix might have been
> better. For splint I always suggest the "+" option because of the
> ambiguity of "-": Does it mean "use this option" or "disable this
> option"?
>
-posixlib and +posixlib mean the exact same thing. For flags that don't
have an on/off setting, either + or - may be used with the same meaning.
Flags may be hyphenated for readability (posix-lib means the same thing as
posixlib).
--- Dave
More information about the splint-discuss
mailing list