On 1/13/22 10:13, Richard Biener wrote:
On Thu, Jan 13, 2022 at 2:59 PM Andrew MacLeod via Gcc-patches
<gcc-patches@gcc.gnu.org> wrote:
This patch actually addresses a few PRs.
The root PR was 97909. Ranger context functionality was added to
fold_const back in early November
(https://gcc.gnu.org/pipermail/gcc-patches/2021-November/583216.html)
The other 2 PRs mentioned (83072 and 83073) partially worked after this,
but the original patch did not change the result of the query in
expr_not_equal_to () to a multi-range object.
This patch simply changes the value_range variable in that routine to an
int_range<5> so we can pick up more precision. This in turn allows us to
capture all the tests as expected.
Bootstrapped on x86_64-pc-linux-gnu with no regressions.
OK for trunk?
OK (though I wonder why not use int_range_max?)
No good reason.. Initially it was just because I wasn't familiar with
what call chains might end up here, but really, I guess it doesn't matter.
I can change it to int_range_max before committing it.
Andrew
