[PATCH] D24651: [SCEV] Try harder to find UB for NSW/NUW instr

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

Apologies in advance for this off-the-cuff comment with only having skimmed through your patch, let me know if you've already addressed this:  infinite loops are not UB in general, they're UB only if the loop has no side effects (i.e. no volatile or atomic operations and no IO).


Repository:
  rL LLVM

https://reviews.llvm.org/D24651