Commit 27e42601 authored by Andrew MacLeod's avatar Andrew MacLeod
Browse files

Add relation to unsigned right shift.

If the first operand and the shift value of a right shift operation are both
>= 0, then we know the LHS of the operation is <= the first operand.

	PR tree-optimization/96707
	gcc/
	* range-op.cc (operator_rshift::lhs_op1_relation): New.

	gcc/testsuite/
	* g++.dg/pr96707.C: New.
parent 0b846436
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment