On 09/07/05 16:18, Jeffrey A Law wrote:
>Are you getting something different?
>
>
We'd probably trigger a problem if
lhs_vr = [0, max]
vr_result = ~[max, max]
in that case, the code at the end of vrp_visit_phi_node would
erroneously set VR_RESULT to ~[-INF, max], which I can see causing problems.