[splint-discuss] Setting flags in file and in command line

[Yegor Ryabkov]

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.