On Thu, Oct 6, 2016 at 6:45 AM, kugan <kugan.vivekanandara...@linaro.org> wrote: > Hi, > > In VRP we can generate new SSA variables while performing the propagation, > at least in EVRP. Therefore, when we access array vr_values we have to check > num_vr_values. This caused ICE for the PR77862. Attached patch fixes this. > > Bootstrapped and regression tested on x86_64-linux-gnu with no new > regressions. Is this OK for trunk?
Ok. Thanks, Richard. > Thanks, > Kugan > > > gcc/testsuite/ChangeLog: > > 2016-10-06 Kugan Vivekanandarajah <kug...@linaro.org> > > PR tree-optimization/77862 > * gcc.dg/pr77862.c: New test. > > gcc/ChangeLog: > > 2016-10-06 Kugan Vivekanandarajah <kug...@linaro.org> > > PR tree-optimization/77862 > * tree-vrp.c (add_equivalence): Use get_value_range so that > num_vr_values is checked before accessing vr_values. > > >