]> git.ipfire.org Git - thirdparty/gcc.git/commit
Update bitwise_or op_range.
authorAndrew MacLeod <amacleod@redhat.com>
Thu, 31 Oct 2024 18:07:00 +0000 (14:07 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Fri, 1 Nov 2024 19:24:10 +0000 (15:24 -0400)
commit253fe0f6269516e37b3ef12a0d18e539b3cabd62
tree71d80c21ee2b6be000cb45b59887a28c71164bea
parent62420dbd105bbc4fe732881875c5c85aa55b6069
Update bitwise_or op_range.

If the LHS of a bitwise OR is positive, then so are both operands when
using op1_range or op2_range.

gcc/
* range-op.cc (operator_bitwise_or::op1_range): If LHS is signed
positive, so are both operands.

gcc/testsuite
* g++.dg/cpp23/attr-assume-opt.C (f2b): Alternate flow test.
gcc/range-op.cc
gcc/testsuite/g++.dg/cpp23/attr-assume-opt.C