]>
Commit | Line | Data |
---|---|---|
1 | ||
2 | clauses.c: (in function f) | |
3 | clauses.c:6:5: Variable x is released in true branch, but live in continuation. | |
4 | clauses.c:6:5: in true branch: | |
5 | clauses.c:5:13: Storage x released | |
6 | clauses.c:11:5: Variable y is released in while body, but live if loop is not | |
7 | taken. | |
8 | clauses.c:11:5: in while body: | |
9 | clauses.c:10:13: Storage y released | |
10 | clauses.c:20:5: Variable z2 is released in false branch, but live in true | |
11 | branch. | |
12 | clauses.c:20:5: in false branch: | |
13 | clauses.c:19:13: Storage z2 released | |
14 | clauses.c:20:5: Variable z is released in true branch, but live in false | |
15 | branch. | |
16 | clauses.c:20:5: in true branch: | |
17 | clauses.c:15:13: Storage z released | |
18 | ||
19 | Finished checking --- 4 code warnings, as expected | |
20 | ||
21 | Finished checking --- no warnings | |
22 | ||
23 | clauses3.c: (in function h) | |
24 | clauses3.c:48:5: Storage x->x is released in one path, but live in another. | |
25 | clauses3.c:46:10: Storage x->x released | |
26 | clauses3.c: (in function m) | |
27 | clauses3.c:61:5: Storage x->x is released in one path, but live in another. | |
28 | clauses3.c:60:13: Storage x->x released | |
29 | ||
30 | Finished checking --- 2 code warnings, as expected | |
31 | ||
32 | clauses3.c: (in function h) | |
33 | clauses3.c:48:5: Storage x->x is released in one path, but live in another. | |
34 | clauses3.c:46:10: Storage x->x released | |
35 | clauses3.c: (in function m) | |
36 | clauses3.c:60:13: Possibly null storage x->x passed as non-null param: | |
37 | free (x->x) | |
38 | clauses3.c:61:5: Storage x->x is released in one path, but live in another. | |
39 | clauses3.c:60:13: Storage x->x released | |
40 | ||
41 | Finished checking --- 3 code warnings, as expected |