]> andersk Git - splint.git/blame - test/rc.out
Removed /bin/csh from tainted/Makefile
[splint.git] / test / rc.out
CommitLineData
86d93ed3 1
2rc.c: (in function f)
3rc.c:3:10: Observer storage returned without qualification:
4 "a flag\"wicked cool"
5 rc.c:3:10: Storage becomes observer
6
7Finished checking --- 1 code warning, as expected
8
9rc.c: (in function f)
10rc.c:3:10: Return value type int does not match declared type char *: 12
11
12Finished checking --- 1 code warning, as expected
13
14rc2.splintrc:1:18: Warning: setting +boolint redundant with current value
15rc.c: (in function f)
16rc.c:3:10: Observer storage returned without qualification: "a silly\"flag\"\\"
17 rc.c:3:10: Storage becomes observer
18
19Finished checking --- 1 code warning, as expected
20
21rc2.splintrc:1:18: Warning: setting +boolint redundant with current value
22rc.c: (in function f)
23rc.c:3:10: Unrecognized identifier: MYSTERY
24
25Finished checking --- 1 code warning, as expected
26
27rc3.splintrc:2:1: Bad flag syntax (+ or - expected, + is assumed):
28 internalnamelen 73
29 A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
30 warning)
31rc3.splintrc:5:24: Flag dump must be followed by an argument
32rc.c: (in function f)
33rc.c:3:10: Unrecognized identifier: MYSTERY
34
35Finished checking --- 1 code warning, as expected
This page took 0.074491 seconds and 5 git commands to generate.