This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Possible bug in tree-vrp.c:vrp_visit_phi_node


Suppose lhs_vr is [64,64] and vr_result is ~[0,0].  It would seem
that the code near the end of this function will malfunction.

Shouldn't the test be that both lhs_vr *and* vr_result are VR_RANGE?

This is causing an ACATS failure in c45651a and possibly others.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]