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
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
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
16 clauses.c:20:5: in true branch:
17 clauses.c:15:13: Storage z released
19 Finished checking --- 4 code warnings, as expected
21 Finished checking --- no warnings
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
30 Finished checking --- 2 code warnings, as expected
32 Command Line: Selecting unix library. Unix library is ad hoc addition to POSIX
33 library. Recommend use +posixlib to select POSIX library instead. Use
34 -warnunixlib to suppress this message.
35 clauses3.c: (in function h)
36 clauses3.c:48:5: Storage x->x is released in one path, but live in another.
37 clauses3.c:46:10: Storage x->x released
38 clauses3.c: (in function m)
39 clauses3.c:60:13: Possibly null storage x->x passed as non-null param:
41 clauses3.c:61:5: Storage x->x is released in one path, but live in another.
42 clauses3.c:60:13: Storage x->x released
44 Finished checking --- 3 code warnings, as expected