[COMMITTED 6/7] Add relation between LHS and op1 for casts and copies.
Tue Jun 22 13:19:12 GMT 2021
This patch provides basic relations between the LHS and OP1 for casts
Copies are very straightforward, LHS == OP1 always.
Casts are a little trickier. If the RHS of the copy is of the same or
lower precision as the LHS, then we can consider them EQ_EXPR.
Otherwise, they are considered to have NO relation.
There is a comment regarding exactly why this is the case in the
implementation of operator_cast::lhs_op1_relation.
Bootstraps on x86_64-pc-linux-gnu with no regressions. Pushed.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 2569 bytes
Desc: not available
More information about the Gcc-patches