On Wed, Oct 12, 2016 at 8:56 AM, kugan <kugan.vivekanandara...@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.vivekanandara...@linaro.org> > > * gcc.dg/ipa/vrp4.c: Adjust testcase. > > gcc/ChangeLog: > > 2016-10-12 Kugan Vivekanandarajah <kugan.vivekanandara...@linaro.org> > > * tree-vrp.c (get_value_range): Check get_ptr_nonnull.