https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69270
--- Comment #4 from Jeffrey A. Law <law at gcc dot gnu.org> --- Author: law Date: Fri Jan 15 22:32:05 2016 New Revision: 232453 URL: https://gcc.gnu.org/viewcvs?rev=232453&root=gcc&view=rev Log: PR tree-optimization/69270 * tree-ssanames.c (ssa_name_has_boolean_range): Moved here from tree-ssa-dom.c. Improve test for [0..1] ranve from VRP. * tree-ssa-dom.c (ssa_name_has_boolean_range): Remove. * tree-ssanames.h (ssa_name_has_boolean_range): Prototype. * tree-ssa-uncprop.c (associate_equivalences_with_edges): Use ssa_name_has_boolean_range and constant_boolean_node. PR tree-optimization/69270 * gcc.dg/tree-ssa/pr69270-2.c: New test. * gcc.dg/tree-ssa/pr69270-3.c: New test. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69270-2.c trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69270-3.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-dom.c trunk/gcc/tree-ssa-uncprop.c trunk/gcc/tree-ssanames.c trunk/gcc/tree-ssanames.h