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