[PATCH] D148107: [SCEV] Set nowrap for finite non-strict predicates for addrecs

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I don't understand why this is safe.  You're checking that the LHS is an AddRec (which is bound to the loop in question), but then you're adding the flags to math on the RHS (which is not).


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D148107/new/

https://reviews.llvm.org/D148107