On May 3, 2016 8:16:18 PM GMT+02:00, Jakub Jelinek wrote:
>Hi!
>
>As mentioned in the PR and on IRC, the initial problem on the testcase
>from this PR is that if-conv mistakenly assumes that some bb predicates
>are true predicates, when they really should not be.
>The problem is if we have a loop
Hi!
As mentioned in the PR and on IRC, the initial problem on the testcase
from this PR is that if-conv mistakenly assumes that some bb predicates
are true predicates, when they really should not be.
The problem is if we have a loop (perhaps finite) inside of some infinite
loop, when computing pos