On Wed, Oct 23, 2019 at 10:33 AM Eric Botcazou <ebotca...@adacore.com> 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 must make sure not to introduce such an overflow when combining ranges with > symbolic expressions. > > Tested on x86_64-suse-linux, OK for all active branches?
OK. Thanks, Richard. > > 2019-10-23 Eric Botcazou <ebotca...@adacore.com> > > PR tree-optimization/92131 > * tree-vrp.c (extract_range_from_plus_minus_expr): If the resulting > range would be symbolic, drop to varying for any explicit overflow > in the constant part or if one of the ranges is not a singleton. > > > 2019-10-23 Eric Botcazou <ebotca...@adacore.com> > > * gcc.c-torture/execute/20191023-1.c: New test. > > -- > Eric Botcazou
