[SCEV] Check correct binary operator for nowrap flags
We should be checking the current BO here, not the nested one. If the current BO has nowrap flags (and is UB on poison), then we'll fetch both operand SCEVs of that BO. We'll check the nested BO on the next iteration of the do/while loop.
parent
3690e1f8
Please register or sign in to comment