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: 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: 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:6:3: Flag dump must be followed by a string
28 A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
30 rc3.splintrc:6:3: Cannot list files in .splintrc files:
31 internalnamelen, 73 (probable missing + or -)
33 rc.c:3:10: Unrecognized identifier: MYSTERY
35 Finished checking --- 1 code warning, as expected