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, 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.
