On Wed, Oct 23, 2019 at 10:33 AM Eric Botcazou wrote:
>
> This is a regression present on mainline, 9 and 8 branches, but the underlying
> issue is probably latent on the 7 branch. compare_values in tree-vrp.c can
> rely on undefined overflow to compare symbolic expressions with constants so
> we
This is a regression present on mainline, 9 and 8 branches, but the underlying
issue is probably latent on the 7 branch. compare_values in tree-vrp.c can
rely on undefined overflow to compare symbolic expressions with constants so
we must make sure not to introduce such an overflow when combini
