3 rc.c:3:10: Observer storage returned without qualification:
5 rc.c:3:10: Storage becomes observer
7 Finished checking --- 1 code warning, as expected
10 rc.c:3:10: Return value type int does not match declared type char *: 12
12 Finished checking --- 1 code warning, as expected
14 rc2.splintrc:1:18: Warning: setting +boolint redundant with current value
16 rc.c:3:10: Observer storage returned without qualification: "a silly\"flag\"\\"
17 rc.c:3:10: Storage becomes observer
19 Finished checking --- 1 code warning, as expected
21 rc2.splintrc:1:18: Warning: setting +boolint redundant with current value
23 rc.c:3:10: Unrecognized identifier: MYSTERY
25 Finished checking --- 1 code warning, as expected
27 rc3.splintrc:2:1: Bad flag syntax (+ or - expected, + is assumed):
29 A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
31 rc3.splintrc:5:24: Flag dump must be followed by an argument
33 rc.c:3:10: Unrecognized identifier: MYSTERY
35 Finished checking --- 1 code warning, as expected