clauses3.c: (in function h)
clauses3.c:48:5: Storage x->x is released in one path, but live in another.
clauses3.c:46:10: Storage x->x released
clauses3.c: (in function h)
clauses3.c:48:5: Storage x->x is released in one path, but live in another.
clauses3.c:46:10: Storage x->x released