andersk Git - splint.git/blame_incremental

... / ...

Commit	Line	Data
	1
	2	blocks.c: (in function f)
	3	blocks.c:3:15: Body of if statement is empty
	4	blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
	5	modified by test or loop body.
	6	blocks.c:21:16: Body of if clause of if statement is empty
	7	blocks.c:22:9: Body of else clause of if statement is empty
	8
	9	Finished checking --- 4 code warnings, as expected
	10
	11	blocks.c: (in function f)
	12	blocks.c:3:15: Body of if statement is empty
	13	blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
	14	modified by test or loop body.
	15	blocks.c:6:15: Body of if statement is not a block: x++;
	16	blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4;
	17	}
	18	blocks.c:19:8: Body of else clause of if statement is not a block: x = 4;
	19	blocks.c:21:16: Body of if clause of if statement is empty
	20	blocks.c:22:9: Body of else clause of if statement is empty
	21
	22	Finished checking --- 7 code warnings, as expected
	23
	24	blocks.c: (in function f)
	25	blocks.c:4:18: Body of while statement is empty
	26	blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
	27	modified by test or loop body.
	28	blocks.c:7:18: Body of while statement is not a block: x++;
	29
	30	Finished checking --- 3 code warnings, as expected
	31
	32	blocks.c: (in function f)
	33	blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
	34	modified by test or loop body.
	35	blocks.c:12:23: Body of for statement is empty
	36	blocks.c:13:23: Body of for statement is not a block: x++;
	37
	38	Finished checking --- 3 code warnings, as expected
	39
	40	blocks.c: (in function f)
	41	blocks.c:3:15: Body of if statement is empty
	42	blocks.c:4:18: Body of while statement is empty
	43	blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
	44	modified by test or loop body.
	45	blocks.c:12:23: Body of for statement is empty
	46	blocks.c:21:16: Body of if clause of if statement is empty
	47	blocks.c:22:9: Body of else clause of if statement is empty
	48
	49	Finished checking --- 6 code warnings, as expected
	50
	51	blocks.c: (in function f)
	52	blocks.c:3:15: Body of if statement is empty
	53	blocks.c:4:18: Body of while statement is empty
	54	blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
	55	modified by test or loop body.
	56	blocks.c:6:15: Body of if statement is not a block: x++;
	57	blocks.c:7:18: Body of while statement is not a block: x++;
	58	blocks.c:12:23: Body of for statement is empty
	59	blocks.c:13:23: Body of for statement is not a block: x++;
	60	blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4;
	61	}
	62	blocks.c:19:8: Body of else clause of if statement is not a block: x = 4;
	63	blocks.c:21:16: Body of if clause of if statement is empty
	64	blocks.c:22:9: Body of else clause of if statement is empty
	65
	66	Finished checking --- 11 code warnings, as expected