https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Mon Apr 27 12:21:17 2015 New Revision: 222461 URL: https://gcc.gnu.org/viewcvs?rev=222461&root=gcc&view=rev Log: PR tree-optimization/65875 * tree-vrp.c (update_value_range): If in is_new case setting old_vr to VR_VARYING, also set new_vr to it. Remove old_vr->type == VR_VARYING test. (vrp_visit_phi_node): Return SSA_PROP_VARYING instead of SSA_PROP_INTERESTING if update_value_range returned true, but new range is VR_VARYING. * gcc.c-torture/compile/pr65875.c: New test. Added: branches/gcc-5-branch/gcc/testsuite/gcc.c-torture/compile/pr65875.c Modified: branches/gcc-5-branch/gcc/ChangeLog branches/gcc-5-branch/gcc/testsuite/ChangeLog branches/gcc-5-branch/gcc/tree-vrp.c