[vrp] use get_ptr_nonnull in tree-vrp

kugan kugan.vivekanandarajah@linaro.org
Thu Oct 13 04:38:00 GMT 2016


Hi Richard,


On 13/10/16 05:53, kugan wrote:
> Hi Richard,
>
> On 12/10/16 23:24, Richard Biener wrote:
>> 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.
> Not before EVRP. But when in TREE-VRP, EVRP + IPA-VRP should provide this.

My primary intention was to pass it for PARM_DECL SSA names which comes 
from ipa-vrp. I have changed this now.

Thanks,
Kugan

> I am not sure if this is the question?
>
> Thanks,
> Kugan
>>
>> 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0003-Teach-vrp-to-use-ptr-nonnull.patch
Type: text/x-patch
Size: 1548 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20161013/81ba3029/attachment.bin>


More information about the Gcc-patches mailing list