[PATCH] Bugfix: SCEV incorrectly marks certain add recurrences as nsw

[Andrew Trick]

Great catch and test case!

It's not clear to me why the isKnownNonZero check is necessary. Otherwise LGTM.


http://reviews.llvm.org/D7495

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