https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61184
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Mon May 19 12:32:15 2014 New Revision: 210611 URL: http://gcc.gnu.org/viewcvs?rev=210611&root=gcc&view=rev Log: 2014-05-19 Richard Biener <rguent...@suse.de> PR tree-optimization/61184 * tree-vrp.c (is_negative_overflow_infinity): Use TREE_OVERFLOW_P and do that check first. (is_positive_overflow_infinity): Likewise. (is_overflow_infinity): Likewise. (vrp_operand_equal_p): Properly treat operands with differing overflow as not equal. * c-c++-common/torture/pr61184.c: New testcase. Added: trunk/gcc/testsuite/c-c++-common/torture/pr61184.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c
