[PR77862] ICE in add_equivalence

Richard Biener richard.guenther@gmail.com
Thu Oct 6 09:59:00 GMT 2016


On Thu, Oct 6, 2016 at 6:45 AM, kugan <kugan.vivekanandarajah@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  <kuganv@linaro.org>
>
>         PR tree-optimization/77862
>         * gcc.dg/pr77862.c: New test.
>
> gcc/ChangeLog:
>
> 2016-10-06  Kugan Vivekanandarajah  <kuganv@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.
>
>
>



More information about the Gcc-patches mailing list