https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69320
--- Comment #10 from Jeffrey A. Law <law at gcc dot gnu.org> --- Author: law Date: Tue Jan 19 06:43:54 2016 New Revision: 232548 URL: https://gcc.gnu.org/viewcvs?rev=232548&root=gcc&view=rev Log: 2016-01-18 Jeff Law <l...@redhat.com> PR tree-optimization/69320 * tree-ssa-dom.c (record_edge_info): For comparisons against a boolean ranged object, do nothing if the RHS constant is not [0..1]. (optimize_stmt): Comparing a boolean ranged object against a constant outside [0..1] results in a compile-time constant. * tree-ssanames.c (ssa_name_has_boolean_range): Remove unnecessary test. PR tree-optimization/69320 * gcc.c-torture/pr69320-1.c: New test. * gcc.c-torture/pr69320-2.c: New test. * gcc.c-torture/pr69320-3.c: New test. * gcc.c-torture/pr69320-4.c: New test. Added: trunk/gcc/testsuite/gcc.c-torture/execute/pr69320-1.c trunk/gcc/testsuite/gcc.c-torture/execute/pr69320-2.c trunk/gcc/testsuite/gcc.c-torture/execute/pr69320-3.c trunk/gcc/testsuite/gcc.c-torture/execute/pr69320-4.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-dom.c trunk/gcc/tree-ssanames.c
