https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107043
--- Comment #2 from Ulrich Drepper <drepper.fsp+rhbz at gmail dot com> --- My original example and Andrew's g0 are handled by Aldy's patches 2022-09-26 Aldy Hernandez <al...@redhat.com> PR tree-optimization/107009 * range-op.cc (operator_bitwise_and::op1_range): Optimize 0 = x & MASK. (range_op_bitwise_and_tests): New test. 2022-09-26 Aldy Hernandez <al...@redhat.com> PR tree-optimization/107009 * tree-ssa-dom.cc (dom_opt_dom_walker::set_global_ranges_from_unreachable_edges): Iterate over exports. The g1 test case isn't handled, yet.