https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126743
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Daniel Barboza <[email protected]>: https://gcc.gnu.org/g:9a54dbee11c890546b0bad8e3022296f02449181 commit r17-3336-g9a54dbee11c890546b0bad8e3022296f02449181 Author: Daniel Barboza <[email protected]> Date: Wed Aug 12 06:25:15 2026 -0300 range-op: add VREL_NE relation effect for bit_ior [PR126743] Given a bit_ior in the format A | B, if we know for certain that A != B then we can infer that A | B will always be nonzero. Bootstrapped and regression tested in x86_64, aarch64 and riscv64. PR tree-optimization/126743 gcc/ChangeLog: * range-op-mixed.h: declare. * range-op.cc (operator_bitwise_or::op1_op2_relation_effect): add op1 NE op2 relation range for op1 | op2 as nonzero. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/pr126743.c: New test.
