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.
