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

via llvm-bugs llvm-bugs at lists.llvm.org
Mon Oct 28 06:18:02 PDT 2019


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:

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>

More information about the llvm-bugs mailing list