On Wed, 12 Dec 2012, Andreas Schwab wrote:
> Richard Biener writes:
>
> > * gcc.dg/tree-ssa/ssa-pre-1.c: Adjust.
>
> This was missing in your commit.
Oops, thanks for noticing and fixing!
Richard.
Richard Biener writes:
> * gcc.dg/tree-ssa/ssa-pre-1.c: Adjust.
This was missing in your commit.
Andreas.
--
Andreas Schwab, SUSE Labs, sch...@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."
This improves VRP so that two of the three (the remaining one invalid
IMHO) spurious array-bound warnings in PR55079 no longer appear.
With the patch we now properly handle
MIN_EXPR <[1, 6], VARYING>
and register asserts for i_2 in
i_2 = i_1 + 1;
if (i_1 != 0)
which is a common pattern f
