On Fri, Jul 8, 2011 at 7:25 PM, Jeff Law wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
>
> As detailed in the PR, improvements to jump threading caused the
> relatively simple guard predicates in this testcase to become
> significantly more complex. The predicate complexity is enough
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
As detailed in the PR, improvements to jump threading caused the
relatively simple guard predicates in this testcase to become
significantly more complex. The predicate complexity is enough to
confuse the predicate-aware pruning of bogus uninitialize
