test/merge.expect

   1
   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
  10
  11 Finished checking --- 3 code warnings, as expected