andersk Git - splint.git/blame_incremental

... / ...

Commit	Line	Data
	1
	2	boolops.c: (in function main)
	3	boolops.c:12:3: Assignment of int to Kzam: b = 12
	4
	5	Finished checking --- 1 code warning, as expected
	6
	7	mbool.h:1:17: Type implemented as macro: bool
	8
	9	Finished checking --- 1 code warning, as expected
	10
	11	boolenum.c: (in function main)
	12	boolenum.c:11:8: Use of == with BOOLEAN variables (risks inconsistency because
	13	of multiple true values): a == TRUE
	14
	15	Finished checking --- 1 code warning, as expected
	16
	17	break.c: (in function f)
	18	break.c:9:4: Dereference of possibly null pointer x: *x
	19	break.c:1:24: Storage x may become null
	20
	21	Finished checking --- 1 code warning, as expected
	22
	23	bstring.c:4:14: Initial value of s4[0] is type char *, expects char: "hullo"
	24	bstring.c:4:23: Initial value of s4[1] is type char *, expects char: "g'bye"
	25
	26	Finished checking --- 2 code warnings, as expected
	27
	28	decl.c:3:21: Structure struct tm declared with fields { int x; }, specified
	29	with fields { int tm_sec; int tm_min; int tm_hour;, ... }
	30	load file standard.lcd: Specification of struct tm
	31	decl.c:3:17: Field tm_sec in specified corresponds to x in declaration
	32	load file standard.lcd: Specification of tm_sec
	33
	34	Finished checking --- 1 code warning, as expected
	35
	36	Finished checking --- no warnings
	37
	38	enumbool.c:1:16: Enumerator member false declared with inconsistent type:
	39	enum { false, true }
	40	load file standard.lcd: Specification of false: bool
	41	enumbool.c:1:27: Enumerator member true declared with inconsistent type:
	42	enum { false, true }
	43	load file standard.lcd: Specification of true: bool
	44	enumbool.c:1:34: Member of boolean enumerated type definition does not match
	45	name set to represent true or false: false
	46	enumbool.c:1:34: Member of boolean enumerated type definition does not match
	47	name set to represent true or false: true
	48
	49	Finished checking --- 4 code warnings, expected 2
	50
	51	Finished checking --- no warnings
	52
	53	extension.c:2:18: Parse Error: New function scope inside function. (For help on
	54	parse errors, see splint -help parseerrors.)
	55	*** Cannot continue.
	56
	57	Finished checking --- no warnings
	58
	59	nestext.c: (in function f)
	60	nestext.c:3:26: Declaration using extern inside function scope: int test(void)
	61
	62	Finished checking --- 1 code warning, as expected
	63
	64	sizeofarray.c:1:12: Function parameter x declared as manifest array (size
	65	constant is meaningless)
	66	sizeofarray.c: (in function f)
	67	sizeofarray.c:5:13: Parameter to sizeof is an array-type function parameter:
	68	sizeof((x))
	69	sizeofarray.c:10:16: Return value type size_t does not match declared type int:
	70	sizeof((a))
	71
	72	Finished checking --- 3 code warnings, as expected
	73
	74	rex.c: (in function main)
	75	rex.c:19:12: Only storage re.parent (type struct rx_hash *) derived from
	76	variable declared in this scope is not released (memory leak)
	77	rex.c:19:12: Only storage (re.children)->parent (type struct rx_hash )
	78	derived from variable declared in this scope is not released (memory leak)
	79	rex.c:19:12: Only storage ((re.children)->children)->parent (type struct
	80	rx_hash *) derived from variable declared in this scope is not released
	81	(memory leak)
	82	rex.c:19:12: Only storage ((*(re.children)->children)->children)->parent
	83	(type struct rx_hash *) derived from variable declared in this scope is not
	84	released (memory leak)
	85
	86	Finished checking --- 4 code warnings, as expected
	87
	88	struct.c:13:6: Function main declared to return void, should return int
	89
	90	Finished checking --- 1 code warning, as expected