]>
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:5:13: Storage x is released | |
5 | clauses.c:11:5: Variable y is released in while body, but live if loop is not | |
6 | taken. | |
7 | clauses.c:10:13: Storage y is released | |
8 | clauses.c:20:5: Variable z2 is released in false branch, but live in true | |
9 | branch. | |
10 | clauses.c:19:13: Storage z2 is released | |
11 | clauses.c:20:5: Variable z is released in true branch, but live in false | |
12 | branch. | |
13 | clauses.c:15:13: Storage z is released | |
14 | ||
15 | Finished checking --- 4 code warnings, as expected | |
16 | ||
17 | Finished checking --- no warnings | |
18 | ||
19 | clauses3.c: (in function h) | |
20 | clauses3.c:48:5: Storage x->x is released in one path, but live in another. | |
21 | clauses3.c:46:10: Storage x->x is released | |
22 | clauses3.c: (in function m) | |
23 | clauses3.c:61:5: Storage x->x is released in one path, but live in another. | |
24 | clauses3.c:60:13: Storage x->x is released | |
25 | ||
26 | Finished checking --- 2 code warnings, as expected | |
27 | ||
28 | Warning: selecting unix library. Unix library is ad hoc addition to POSIX | |
29 | library. Recommend use +posixlib to select POSIX library instead. Use | |
30 | -warnunixlib to suppress this message. | |
31 | clauses3.c: (in function h) | |
32 | clauses3.c:48:5: Storage x->x is released in one path, but live in another. | |
33 | clauses3.c:46:10: Storage x->x is released | |
34 | clauses3.c: (in function m) | |
35 | clauses3.c:60:13: Possibly null storage x->x passed as non-null param: | |
36 | free (x->x) | |
37 | clauses3.c:61:5: Storage x->x is released in one path, but live in another. | |
38 | clauses3.c:60:13: Storage x->x is released | |
39 | ||
40 | Finished checking --- 3 code warnings, as expected |