Change Details

These changes are intended to replace recursion with a loop in "dominatesMergePoint". After the replacement, the deprecated option remained, which was also removed.

This change is directed at this TODO: // TODO: While this recursion limit does prevent pathological behavior, it would be better to track visited instructions to avoid cycles. These changes are intended to replace recursion with a loop in "dominatesMergePoint". After the replacement, the deprecated option remained, which was also removed.

This change is directed at this TODO: // TODO: While this recursion limit does prevent pathological behavior, it would be better to track visited instructions to avoid cycles. These changes are intended to replace recursion with a loop in "dominatesMergePoint". After the replacement, the deprecated option remained, which was also removed.