[splint.git] / test / tests2.2a.expect


erik.c: (in function main)
erik.c:6:4: Return value (type int) ignored: scanf("%lf %f", ...

Finished LCLint checking --- 1 code error found, as expected

boolcomp.c: (in function f)
boolcomp.c:5:7: Use of == with bool variables (risks inconsistency because of
                   multiple true values): a == b
boolcomp.c:9:13: Use of == with bool variables (risks inconsistency because of
                    multiple true values): a == b
boolcomp.c:11:6: Use of != with bool variables (risks inconsistency because of
                    multiple true values): a != b
boolcomp.c:16:6: Use of == with bool variables (risks inconsistency because of
                    multiple true values): b == TRUE
boolcomp.c:20:2: Path with no return in function declared to return int

Finished LCLint checking --- 5 code errors found, as expected

Finished LCLint checking --- no code errors found

addassign.c: (in function hash)
addassign.c:7:7: Incompatible types for += (int, char): h += *name++

Finished LCLint checking --- 1 code error found, as expected

toralf.c: (in function func1)
toralf.c:14:3: Incompatible types for += (char *, char): s += 'c'
toralf.c:15:3: Variable i1 used before definition
toralf.c:15:9: Variable f used before definition
toralf.c: (in function func2)
toralf.c:23:8: Variable i2 used before definition
toralf.c: (in function main)
toralf.c:28:10: Null storage passed as non-null param: func1 (NULL)

Finished LCLint checking --- 5 code errors found, as expected

Finished LCLint checking --- no code errors found

Finished LCLint checking --- no code errors found

arrayparam.c:1:12: Function parameter x is incomplete type (inner array must
                      have bounds): int [2] []
arrayparam.c:11:12: Function parameter x is incomplete type (inner array must
                       have bounds): int [] []
arrayparam.c:16:12: Function parameter x is incomplete type (inner array must
                       have bounds): int [] [] [2]
arrayparam.c:21:12: Function parameter x is incomplete type (inner array must
                       have bounds): int [2] [] [2]
arrayparam.c:26:12: Function parameter x declared as manifest array (size
                       constant is meaningless)

Finished LCLint checking --- 5 code errors found, as expected

Finished LCLint checking --- no code errors found

Finished LCLint checking --- no code errors found

obviousloop.c: (in function f)
obviousloop.c:14:3: Unreachable code: x = 12
obviousloop.c: (in function f1)
obviousloop.c:36:2: Path with no return in function declared to return int
obviousloop.c: (in function f1b)
obviousloop.c:59:3: Unreachable code: x = 12
obviousloop.c: (in function f2)
obviousloop.c:75:3: Unreachable code: x = 12

Finished LCLint checking --- 4 code errors found, as expected

bitops.c: (in function f)
bitops.c:3:11: Left operand of & is not unsigned value (int): i1 & i2
bitops.c:3:11: Variable x initialized to type unsigned int, expects int:
                  i1 & i2
bitops.c:4:21: Right operand of & is not unsigned value (int): u1 & i2
bitops.c:5:13: Left operand of & is not unsigned value (int): i1 & i2
bitops.c:5:13: Variable s initialized to type unsigned int, expects short int:
                  i1 & i2
bitops.c:6:14: Variable s2 initialized to type int, expects short int: i1 + i2
bitops.c:9:7: Left operand of << is not unsigned value (int): i1 << 3
bitops.c:14:7: Left operand of ^ is not unsigned value (int): i1 ^ u1
bitops.c:15:12: Right operand of ^ is not unsigned value (int): u1 ^ i1
bitops.c:5:9: Variable s declared but not used
bitops.c:6:9: Variable s2 declared but not used

Finished LCLint checking --- 11 code errors found, as expected

bitops.c: (in function f)
bitops.c:5:13: Variable s initialized to type int, expects short int: i1 & i2
bitops.c:6:14: Variable s2 initialized to type int, expects short int: i1 + i2
bitops.c:9:7: Left operand of << is not unsigned value (int): i1 << 3
bitops.c:5:9: Variable s declared but not used
bitops.c:6:9: Variable s2 declared but not used

Finished LCLint checking --- 5 code errors found, as expected

isalpha.c: (in function f)
isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c

Finished LCLint checking --- 1 code error found, as expected

isalpha.c: (in function f)
isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c

Finished LCLint checking --- 1 code error found, as expected

Finished LCLint checking --- no code errors found

popik.c:7:3: Variable has unknown (implicitly int) type: dummy[0]
popik.c:7:3: Variable has unknown (implicitly int) type: dummy[1]
popik.c:7:3: Variable has unknown (implicitly int) type: dummy[2]
popik.c:7:3: Variable has unknown (implicitly int) type: dummy[3]
popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[0]
popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[1]
popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[2]
popik.c:24:3: Variable has unknown (implicitly int) type: dummy3[3]
popik.c:1:14: File static variable dummy declared but not used
popik.c:10:24: File static variable dummy2 declared but not used
popik.c:18:14: File static variable dummy3 declared but not used

Finished LCLint checking --- 11 code errors found, as expected
Commit	Line	Data
885824d3	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
cc78dedd	57	Finished LCLint checking --- no code errors found
885824d3	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)
cc78dedd	97	isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c
885824d3	98
	99	Finished LCLint checking --- 1 code error found, as expected
	100
	101	isalpha.c: (in function f)
cc78dedd	102	isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c
885824d3	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