clauses3.c: (in function m)
clauses3.c:60:13: Possibly null storage x->x passed as non-null param:
free (x->x)
clauses3.c:61:5: Storage x->x is released in one path, but live in another.
clauses3.c: (in function m)
clauses3.c:60:13: Possibly null storage x->x passed as non-null param:
free (x->x)
clauses3.c:61:5: Storage x->x is released in one path, but live in another.