-- Test dead-code elim: y is dead
f (x) {
L100:
  y = 5
  goto L101
L101:
  if y < 0 then goto L102 else goto L103
L102:
  y = y - 1
  goto L101
L103:
  ret (x + y + 4)
}
