Greetings,
I've found that splint (ver. 3.1.1) behaves differently when I list flags
in command line or in a file (using "-f filename" option).
Command line case works OK, but when I try to use file with flags, I get
the following error message:
Command Line: Setting mode weak after setting mode flags will override set
values of flags: varuse, ignoresigns, matchanyintegral
Command line sets flag in abnormal way (Use -warnflags to inhibit warning)
Flags that are overridden really don't work.
Command line call is:
splint -weak *.c (include section) -f lint.ini
so in fact -weak is set _before_ setting flags, so splint seems to behave
strangely.
Is there any way to make splint work correctly with a flag file?
Lint.ini which is used in the example:
+single-include
-fixedformalarray
-fullinitblock
+matchanyintegral
+ignoresigns
-redef
-type
-nestcomment
-macrovarprefixexclude
-varuse
Best regards,
Yegor.
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
