search

OCamlPro / flambda-task-force

13 stars 1 forks source link

Eliminate dead expressions in branches #161

Open chambart opened 8 years ago

chambart commented 8 years ago 
let _unused =
  if b then
    (x, y)
  else
    (y, x)
in
...

If _unused is dead, (x, y) and (y, x) should also be considered as dead and eliminated.

See https://github.com/OCamlPro/flambda-task-force/issues/160