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