2 merge.c: (in function f2)
3 merge.c:33:4: Variable y used in inconsistent state
4 merge.c:30:28: Storage y becomes inconsistent (released on one branch)
5 merge.c:33:4: Dereference of possibly null pointer y: *y
6 merge.c:21:12: Storage y may become null
7 merge.c: (in function f3)
8 merge.c:51:4: Dereference of possibly null pointer y: *y
9 merge.c:50:7: Storage y may become null
11 Finished checking --- 3 code warnings, as expected