[PATCH] SCEV incorrectly marks certain expressions as nsw

[Andrew Trick]

Correct. Never mind my comment about the PreRA/nsw check you added earlier -- that check was already there to begin with.

The additional AR/nsw check is only needed for the second condition, which is exactly what you've done. This patch is good as-is.


http://reviews.llvm.org/D7640

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/