#2 Request new flag...
Hey there, I'd like to request a new flag: -
warnflagredundant. This would just turn off the
redundant flag warning for both .splintrc and
commandline functionality, as well as for general-flag-
resetting-more-specific-flag; it would leave the flag-
inconsistency and flag-unreasonable-value warnings
enabled.
(I don't want to use -warnflags because I'm not used
to the system as yet, and I've only just started doing
the annotations; however, I created a .splintrc for
the fbmuck sourceforge project, storing it in the src/
directory, as well as creating a more
generalized .splintrc in my home directory that sets
most of those options. In my splint output, I get a
bunch of warnings at the top that really, really need
to be suppressed, but I don't want to suppress -all-
of the flag-related warnings, just the redundancy
warnings.)
If there is a way for this to happen already, please
let me know?
Thanks!
