On Mon, Jan 30, 2023 at 8:47 PM Andrew MacLeod via Gcc-patches
wrote:
>
> Implement op2_range for pointer_plus to determine the offset (operand 2)
> is zero or non-zero based on equality/inequality between the LHS and op1.
>
> Fairly trivial fix for the PR, dependent on the first patch in the set
Implement op2_range for pointer_plus to determine the offset (operand 2)
is zero or non-zero based on equality/inequality between the LHS and op1.
Fairly trivial fix for the PR, dependent on the first patch in the set
as it uses an accurate relation_trio in GORI to determine if LHS == OP1.
T
