https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78365
--- Comment #8 from Martin Jambor <jamborm at gcc dot gnu.org> --- Author: jamborm Date: Mon Jan 9 18:26:37 2017 New Revision: 244232 URL: https://gcc.gnu.org/viewcvs?rev=244232&root=gcc&view=rev Log: [PR 78365] Prudent type handling in IPA VR-prop 2017-01-09 Martin Jambor <mjam...@suse.cz> PR ipa/78365 PR ipa/78599 * ipa-prop.h (ipa_jump_func): Swap positions of vr_known and m_vr. * ipa-cp.c (ipa_vr_operation_and_type_effects): New function. (propagate_vr_accross_jump_function): Use the above function for all value range computations for pass-through jump functions and type converasion from explicit value range values. (ipcp_propagate_stage): Do not attempt to deduce types of formal parameters from TYPE_ARG_TYPES. * ipa-prop.c (ipa_write_jump_function): Remove trailing whitespace. (ipa_write_node_info): Stream type of the actual argument. (ipa_read_node_info): Likewise. Also remove trailing whitespace. testsuite/ * gcc.dg/torture/pr78365.c: New test. Added: trunk/gcc/testsuite/gcc.dg/torture/pr78365.c Modified: trunk/gcc/ChangeLog trunk/gcc/ipa-cp.c trunk/gcc/ipa-prop.c trunk/gcc/ipa-prop.h trunk/gcc/testsuite/ChangeLog
