https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126212
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:7306944cffc49249c4947e6f9b13130986f24f5a commit r17-2516-g7306944cffc49249c4947e6f9b13130986f24f5a Author: Andrew MacLeod <[email protected]> Date: Thu Jul 16 16:43:40 2026 -0400 Enhance logical AND and OR op1_range. The rangeops should recognize that [0, 0] = op1 & TRUE --> op1 must be [0, 0] [1, 1] = op1 | FALSE --> op1 must be [1, 1] op2_range simple transposes the operands, so this covers both cases. PR tree-optimization/126212 * range-op.cc (operator_logical_and::op1_range): Add case for [0, 0] = op1 & [1, 1] (operator_logical_or::op1_range): Add case for [1, 1] = op1 | [0, 0]
