Implement operator_bitwise_xor::op1_op2_relation_effect.
authorAldy Hernandez <aldyh@redhat.com>
Mon, 26 Jul 2021 11:08:24 +0000 (06:08 -0500)
committerAldy Hernandez <aldyh@redhat.com>
Mon, 26 Jul 2021 14:49:14 +0000 (16:49 +0200)
commitf384e2f551fef6dd73b815675633814fb8ff1e13
tree37a6a60044f7f496a988d1c4eb58f2cf0de709df
parent3cb72ac17181fd38384cd2149993e643fb8df89f
Implement operator_bitwise_xor::op1_op2_relation_effect.

This patch adjusts XORing of ranges where the operands are known to be
equal or not equal.

We should probably do the same thing for the op[12]_range methods.

gcc/ChangeLog:

* range-op.cc (operator_bitwise_xor::op1_op2_relation_effect):
New.
gcc/range-op.cc