]> andersk Git - splint.git/blob - test/tests2.2a.expect
noexpand always false.
[splint.git] / test / tests2.2a.expect
1
2 erik.c: (in function main)
3 erik.c:6:4: Return value (type int) ignored: scanf("%lf %f", ...
4
5 Finished LCLint checking --- 1 code error found, as expected
6
7 boolcomp.c: (in function f)
8 boolcomp.c:5:7: Use of == with bool variables (risks inconsistency because of
9                    multiple true values): a == b
10 boolcomp.c:9:13: Use of == with bool variables (risks inconsistency because of
11                     multiple true values): a == b
12 boolcomp.c:11:6: Use of != with bool variables (risks inconsistency because of
13                     multiple true values): a != b
14 boolcomp.c:16:6: Use of == with bool variables (risks inconsistency because of
15                     multiple true values): b == TRUE
16 boolcomp.c:20:2: Path with no return in function declared to return int
17
18 Finished LCLint checking --- 5 code errors found, as expected
19
20 Finished LCLint checking --- no code errors found
21
22 addassign.c: (in function hash)
23 addassign.c:7:7: Incompatible types for += (int, char): h += *name++
24
25 Finished LCLint checking --- 1 code error found, as expected
26
27 toralf.c: (in function func1)
28 toralf.c:14:3: Incompatible types for += (char *, char): s += 'c'
29 toralf.c:15:3: Variable i1 used before definition
30 toralf.c:15:9: Variable f used before definition
31 toralf.c: (in function func2)
32 toralf.c:23:8: Variable i2 used before definition
33 toralf.c: (in function main)
34 toralf.c:28:10: Null storage passed as non-null param: func1 (NULL)
35
36 Finished LCLint checking --- 5 code errors found, as expected
37
38 Finished LCLint checking --- no code errors found
39
40 Finished LCLint checking --- no code errors found
41
42 arrayparam.c:1:12: Function parameter x is incomplete type (inner array must
43                       have bounds): int [2] []
44 arrayparam.c:11:12: Function parameter x is incomplete type (inner array must
45                        have bounds): int [] []
46 arrayparam.c:16:12: Function parameter x is incomplete type (inner array must
47                        have bounds): int [] [] [2]
48 arrayparam.c:21:12: Function parameter x is incomplete type (inner array must
49                        have bounds): int [2] [] [2]
50 arrayparam.c:26:12: Function parameter x declared as manifest array (size
51                        constant is meaningless)
52
53 Finished LCLint checking --- 5 code errors found, as expected
54
55 Finished LCLint checking --- no code errors found
56
57 Finished LCLint checking --- no code errors found
58
59 obviousloop.c: (in function f)
60 obviousloop.c:14:3: Unreachable code: x = 12
61 obviousloop.c: (in function f1)
62 obviousloop.c:36:2: Path with no return in function declared to return int
63 obviousloop.c: (in function f1b)
64 obviousloop.c:59:3: Unreachable code: x = 12
65 obviousloop.c: (in function f2)
66 obviousloop.c:75:3: Unreachable code: x = 12
67
68 Finished LCLint checking --- 4 code errors found, as expected
69
70 bitops.c: (in function f)
71 bitops.c:3:11: Left operand of & is not unsigned value (int): i1 & i2
72 bitops.c:3:11: Variable x initialized to type unsigned int, expects int:
73                   i1 & i2
74 bitops.c:4:21: Right operand of & is not unsigned value (int): u1 & i2
75 bitops.c:5:13: Left operand of & is not unsigned value (int): i1 & i2
76 bitops.c:5:13: Variable s initialized to type unsigned int, expects short int:
77                   i1 & i2
78 bitops.c:6:14: Variable s2 initialized to type int, expects short int: i1 + i2
79 bitops.c:9:7: Left operand of << is not unsigned value (int): i1 << 3
80 bitops.c:14:7: Left operand of ^ is not unsigned value (int): i1 ^ u1
81 bitops.c:15:12: Right operand of ^ is not unsigned value (int): u1 ^ i1
82 bitops.c:5:9: Variable s declared but not used
83 bitops.c:6:9: Variable s2 declared but not used
84
85 Finished LCLint checking --- 11 code errors found, as expected
86
87 bitops.c: (in function f)
88 bitops.c:5:13: Variable s initialized to type int, expects short int: i1 & i2
89 bitops.c:6:14: Variable s2 initialized to type int, expects short int: i1 + i2
90 bitops.c:9:7: Left operand of << is not unsigned value (int): i1 << 3
91 bitops.c:5:9: Variable s declared but not used
92 bitops.c:6:9: Variable s2 declared but not used
93
94 Finished LCLint checking --- 5 code errors found, as expected
95
96 isalpha.c: (in function f)
97 isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c
98
99 Finished LCLint checking --- 1 code error found, as expected
100
101 isalpha.c: (in function f)
102 isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c
103
104 Finished LCLint checking --- 1 code error found, as expected
105
106 Finished LCLint checking --- no code errors found
107
108 popik.c:7:3: Variable has unknown (implicitly int) type: dummy[0]
109 popik.c:7:3: Variable has unknown (implicitly int) type: dummy[1]
110 popik.c:7:3: Variable has unknown (implicitly int) type: dummy[2]
111 popik.c:7:3: Variable has unknown (implicitly int) type: dummy[3]
112 popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[0]
113 popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[1]
114 popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[2]
115 popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[3]
116 popik.c:1:14: File static variable dummy declared but not used
117 popik.c:10:24: File static variable dummy2 declared but not used
118 popik.c:18:14: File static variable dummy3 declared but not used
119
120 Finished LCLint checking --- 11 code errors found, as expected
This page took 0.568953 seconds and 5 git commands to generate.