[llvm-bugs] [Bug 48577] [InstCombine] non-inbounds GEP of null pointer miscompiled

via llvm-bugs llvm-bugs at lists.llvm.org
Thu Dec 24 03:45:12 PST 2020


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

Nikita Popov <nikita.ppv at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |INVALID

--- Comment #4 from Nikita Popov <nikita.ppv at gmail.com> ---
I've reverted my change and closing this an INVALID, as this fold is valid. The
problematic gep fold is already tracked at
https://bugs.llvm.org/show_bug.cgi?id=44403.

I'm also not sure if my reasoning above regarding inbounds is correct or not.
Alive2 says it's not, but I'm not convinced that Alive2 is right at least in
one specific instance (I've opened
https://github.com/AliveToolkit/alive2/issues/634).

-- 
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/20201224/923498ef/attachment.html>


More information about the llvm-bugs mailing list