rc.c: (in function f) rc.c:3:10: Observer storage returned without qualification: "a flag\"wicked cool" rc.c:3:10: Storage becomes observer Finished checking --- 1 code warning, as expected rc.c: (in function f) rc.c:3:10: Return value type int does not match declared type char *: 12 Finished checking --- 1 code warning, as expected rc2.splintrc:1:18: Warning: setting +boolint redundant with current value rc.c: (in function f) rc.c:3:10: Observer storage returned without qualification: "a silly\"flag\"\\" rc.c:3:10: Storage becomes observer Finished checking --- 1 code warning, as expected rc2.splintrc:1:18: Warning: setting +boolint redundant with current value rc.c: (in function f) rc.c:3:10: Unrecognized identifier: MYSTERY Finished checking --- 1 code warning, as expected rc3.splintrc:2:1: Bad flag syntax (+ or - expected, + is assumed): internalnamelen 73 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 Finished checking --- 1 code warning, as expected