Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / test / blocks.expect
blobc4fadc900b5c2dcd9e5cdd9b1426ed3072f45bc9
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
9 Finished checking --- 4 code warnings, as expected
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
22 Finished checking --- 7 code warnings, as expected
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++;
30 Finished checking --- 3 code warnings, as expected
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++;
38 Finished checking --- 3 code warnings, as expected
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
49 Finished checking --- 6 code warnings, as expected
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
66 Finished checking --- 11 code warnings, as expected