On Mon, Jul 25, 2016 at 8:59 AM, kugan
<kugan.vivekanandara...@linaro.org> wrote:
> Hi,
>
>>> diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
>>> index ecfab1f..23c12b5 100644
>>> --- a/gcc/tree-vrp.c
>>> +++ b/gcc/tree-vrp.c
>>> @@ -3759,8 +3759,10 @@ extract_range_basic (value_range *vr, gimple
>>> *stmt)
>>> && SSA_NAME_IS_DEFAULT_DEF (arg)
>>> && TREE_CODE (SSA_NAME_VAR (arg)) == PARM_DECL)
>>> {
>>> +#if 0
>>> set_value_range_to_null (vr, type);
>>> return;
>>> +#endif
>>
>>
>> It is not cleanest either, but better to test cfun->after_inlining
>
>
> Thanks. Here is the patch which does this. Bootstrapped and regression
> tested with the rest of the patches in the series. Is this OK for trunk?
Ok.
Richard.
> Thanks,
> Kugan
>
> gcc/ChangeLog:
>
> 2016-07-25 Kugan Vivekanandarajah <kug...@linaro.org>
>
> * tree-vrp.c (extract_range_basic): Check cfun->after_inlining
> before
> folding call to __builtin_constant_p with parameters to false.
