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