]> andersk Git - splint.git/blame - test/blocks.expect
Fixed line numbering when multi-line macro parameters are used.
[splint.git] / test / blocks.expect
CommitLineData
885824d3 1
2blocks.c: (in function f)
3blocks.c:3:15: Body of if statement is empty
4blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
5 modified by test or loop body.
6blocks.c:21:16: Body of if clause of if statement is empty
7blocks.c:22:9: Body of else clause of if statement is empty
8
11db3170 9Finished checking --- 4 code warnings, as expected
885824d3 10
11blocks.c: (in function f)
12blocks.c:3:15: Body of if statement is empty
13blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
14 modified by test or loop body.
abd7f895 15blocks.c:6:15: Body of if statement is not a block: x++;
16blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4;
17 }
18blocks.c:19:8: Body of else clause of if statement is not a block: x = 4;
885824d3 19blocks.c:21:16: Body of if clause of if statement is empty
20blocks.c:22:9: Body of else clause of if statement is empty
21
11db3170 22Finished checking --- 7 code warnings, as expected
885824d3 23
24blocks.c: (in function f)
25blocks.c:4:18: Body of while statement is empty
26blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
27 modified by test or loop body.
abd7f895 28blocks.c:7:18: Body of while statement is not a block: x++;
885824d3 29
11db3170 30Finished checking --- 3 code warnings, as expected
885824d3 31
32blocks.c: (in function f)
33blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
34 modified by test or loop body.
35blocks.c:12:23: Body of for statement is empty
abd7f895 36blocks.c:13:23: Body of for statement is not a block: x++;
885824d3 37
11db3170 38Finished checking --- 3 code warnings, as expected
885824d3 39
40blocks.c: (in function f)
41blocks.c:3:15: Body of if statement is empty
42blocks.c:4:18: Body of while statement is empty
43blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
44 modified by test or loop body.
45blocks.c:12:23: Body of for statement is empty
46blocks.c:21:16: Body of if clause of if statement is empty
47blocks.c:22:9: Body of else clause of if statement is empty
48
11db3170 49Finished checking --- 6 code warnings, as expected
885824d3 50
51blocks.c: (in function f)
52blocks.c:3:15: Body of if statement is empty
53blocks.c:4:18: Body of while statement is empty
54blocks.c:4:10: Suspected infinite loop. No value used in loop test (x) is
55 modified by test or loop body.
abd7f895 56blocks.c:6:15: Body of if statement is not a block: x++;
57blocks.c:7:18: Body of while statement is not a block: x++;
885824d3 58blocks.c:12:23: Body of for statement is empty
abd7f895 59blocks.c:13:23: Body of for statement is not a block: x++;
60blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4;
61 }
62blocks.c:19:8: Body of else clause of if statement is not a block: x = 4;
885824d3 63blocks.c:21:16: Body of if clause of if statement is empty
64blocks.c:22:9: Body of else clause of if statement is empty
65
11db3170 66Finished checking --- 11 code warnings, as expected
This page took 0.072958 seconds and 5 git commands to generate.