[vrp] use get_ptr_nonnull in tree-vrp

Richard Biener richard.guenther@gmail.com
Wed Oct 12 12:25:00 GMT 2016


On Wed, Oct 12, 2016 at 8:56 AM, kugan
<kugan.vivekanandarajah@linaro.org> wrote:
> Hi,
>
> This patch uses get_ptr_nonnull in tree-vrp.
>
> Bootstrapped and regression tested this with other patched without any
> new regressions on x86_64-linux-gnu.
>
> Is this OK for trunk?

Um.  Doesn't make much sense given nothing provides this info before EVRP?
And if it makes sense then it makes sense not only for PARM_DECL SSA names.

Richard.

> Thanks,
> Kugan
>
> gcc/testsuite/ChangeLog:
>
> 2016-10-12  Kugan Vivekanandarajah  <kugan.vivekanandarajah@linaro.org>
>
>         * gcc.dg/ipa/vrp4.c: Adjust testcase.
>
> gcc/ChangeLog:
>
> 2016-10-12  Kugan Vivekanandarajah  <kugan.vivekanandarajah@linaro.org>
>
>         * tree-vrp.c (get_value_range): Check get_ptr_nonnull.



More information about the Gcc-patches mailing list