]> 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>
Mon, 4 Nov 2024 14:37:35 +0000 (09:37 -0500)
commit2a9fbe1920779b65eb817db7ce0c60096b0cea9e
tree18b4921f0ec29f53f44db50b3fcc0d69b1f614d5
parent393ee6b64579ea5ae5ae88079d271d3a237c7d9f
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