[PATCH] [SCEV] make SCEV smarter about proving no-wrap.

[Sanjoy Das]

================
Comment at: lib/Analysis/ScalarEvolution.cpp:1357
@@ +1356,3 @@
+//
+// If (S-T)+T does not overflow  ... (3)
+//
----------------
atrick wrote:
> I still don't see the bug. How can (3) be false with (1) and (2)? A counter example would help.
You're right, (3) is just (1) in the 0th iteration.  I'll fix this.

http://reviews.llvm.org/D7980

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