Issue #112 new

Fails to compute post-dominator tree if one path results in an infinite loop

Michael Eichberg
repo owner created an issue

When we have a method with an (unconditional) infinite loop, the post dominator tree ends up being a post-dominator forest.

Comments (0)

  1. Log in to comment