https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71437
--- Comment #22 from Jeffrey A. Law <law at gcc dot gnu.org> --- Author: law Date: Fri Mar 17 15:01:56 2017 New Revision: 246225 URL: https://gcc.gnu.org/viewcvs?rev=246225&root=gcc&view=rev Log: PR tree-optimization/71437 * tree-vrp.c (simplify_stmt_for_jump_threading): Lookup the conditional in the hash table first. (vrp_dom_walker::before_dom_children): Extract condition from ASSERT_EXPR. Record condition, its inverion and any implied conditions as well. PR tree-optimization/71437 * gcc.dg/tree-ssa/pr71437.c: New test. * gcc.dg/tree-ssa/20040305-1.c: Test earlier dump. * gcc.dg/tree-ssa/ssa-dom-thread-4.c: Adjust for jump threads now caught by VRP, but which were previously caught by DOM. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr71437.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/tree-ssa/20040305-1.c trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c trunk/gcc/tree-vrp.c