Add relation effects between operands to MINUS_EXPR.
authorAndrew MacLeod <amacleod@redhat.com>
Thu, 17 Jun 2021 17:38:03 +0000 (13:38 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Tue, 22 Jun 2021 12:11:45 +0000 (08:11 -0400)
commitae6b830f31a47aca7ca24c4fea245c29214eef3a
treef5958cda9dbf7697122944b989d74a2a82ba7d70
parentc526de3f432a037bdbdd44eb6fa43af4f3b22694
Add relation effects between operands to MINUS_EXPR.

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