[llvm-bugs] [Bug 43802] [LVI] Miscompile by CorrelatedValuePropagation: LVI doesn't take nsw into account

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=43802

Sanjay Patel <spatel+llvm at rotateright.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|CONFIRMED                   |RESOLVED

--- Comment #4 from Sanjay Patel <spatel+llvm at rotateright.com> ---
Should be minimally fixed with:
https://reviews.llvm.org/rGf2e93d10fe0c

As noted in https://reviews.llvm.org/D69442 - the patch appears to be
sufficient given current LVI behavior. If that analysis changes, we might need
a different/stronger fix. We can also try to restore the wrapping flags with
further analysis.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20191028/36057ac2/attachment.html>