andersk Git - splint.git/blame_incremental

... / ...

Commit	Line	Data
	1
	2	cases.c: (in function f)
	3	cases.c:12:10: Fall through case (no preceding break)
	4	cases.c:13:11: Variable i used before definition
	5	cases.c:30:10: Fall through case (no preceding break)
	6	cases.c:37:13: Fall through case (no preceding break)
	7	cases.c:40:2: Path with no return in function declared to return int
	8
	9	Finished checking --- 5 code warnings, as expected
	10
	11	cases2.c: (in function f2)
	12	cases2.c:26:5: Variable x is released in one possible execution, but live in
	13	other possible execution.
	14	cases2.c:26:5: in one possible execution:
	15	cases2.c:23:16: Storage x released
	16	cases2.c: (in function f3)
	17	cases2.c:37:5: Variable x is released in one possible execution, but live in
	18	other possible execution.
	19	cases2.c:37:5: in one possible execution:
	20	cases2.c:36:16: Storage x released
	21
	22	Finished checking --- 2 code warnings, as expected
	23
	24	cases2.c: (in function f2)
	25	cases2.c:26:5: Variable x is released in one possible execution, but live in
	26	other possible execution.
	27	cases2.c:26:5: in one possible execution:
	28	cases2.c:23:16: Storage x released
	29	cases2.c: (in function f3)
	30	cases2.c:37:5: Variable x is released in one possible execution, but live in
	31	other possible execution.
	32	cases2.c:37:5: in one possible execution:
	33	cases2.c:36:16: Storage x released
	34	cases2.c:1:24: Function g declared but not defined
	35
	36	Finished checking --- 3 code warnings, as expected
	37
	38	cases2.c: (in function f2)
	39	cases2.c:28:12: Variable x used after being released
	40	cases2.c:23:16: Storage x released
	41	cases2.c: (in function f3)
	42	cases2.c:39:12: Variable x used after being released
	43	cases2.c:36:16: Storage x released
	44	cases2.c:1:24: Function g declared but not defined
	45
	46	Finished checking --- 3 code warnings, as expected