https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66863
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Tue Jul 14 11:39:14 2015 New Revision: 225768 URL: https://gcc.gnu.org/viewcvs?rev=225768&root=gcc&view=rev Log: 2015-07-14 Richard Biener <rguent...@suse.de> PR tree-optimization/66863 * tree-vrp.c (register_edge_assert_for_2): Properly restrict what we record for conversion use stmt lhs inequalities. * gcc.dg/torture/pr66863.c: New testcase. Added: trunk/gcc/testsuite/gcc.dg/torture/pr66863.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c