rc3.splintrc:2:1: Bad flag syntax (+ or - expected, + is assumed):
internalnamelen 73
- A flag is not recognized or used in an incorrect way (-badflag will suppress
- message)
+ A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
+ warning)
rc3.splintrc:5:24: Flag dump must be followed by an argument
rc.c: (in function f)
rc.c:3:10: Unrecognized identifier: MYSTERY