Re: [ipa-vrp] ice in set_value_range

[kugan]

Hi,

On 04/11/16 03:24, Martin Jambor wrote:

Hi,

On Fri, Oct 28, 2016 at 01:58:13PM +1100, kugan wrote:

Do I understand it correctly that extract_range_from_unary_expr deals
with any potential type conversions better (compared to what you did
before here)?

Yes, this can be wrong at times too as reported in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78121. I have separated this
part of the patch with a testcase.

Please note that I am using fold_convert in the attached patch.

Bootstrapped and regression tested on x86_64-linux-gnu with no new
regressions. Is this OK for trunk?

I have no objections, but we need to wait for Honza.

Thanks.

Honza, is this OK for you ?

Thanks,
Kugan

Thanks,

Martin

Thanks,
Kugan


gcc/ChangeLog:

2016-10-28  Kugan Vivekanandarajah  <kug...@linaro.org>

        PR ipa/78121
        * ipa-cp.c (propagate_vr_accross_jump_function): Pass param type.
        Also fold constant passed as argument while computing value range.
        (propagate_constants_accross_call): Pass param type.
        * ipa-prop.c: export ipa_get_callee_param_type.
        * ipa-prop.h: export ipa_get_callee_param_type.

gcc/testsuite/ChangeLog:

2016-10-28  Kugan Vivekanandarajah  <kug...@linaro.org>

        PR ipa/78121
        * gcc.dg/ipa/pr78121.c: New test.