[llvm-bugs] [Bug 38107] Aggressive optimization when computing GEP result.

[via llvm-bugs]

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

Eli Friedman <efriedma at codeaurora.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|NEW                         |RESOLVED
                 CC|                            |efriedma at codeaurora.org

--- Comment #2 from Eli Friedman <efriedma at codeaurora.org> ---
Pointer subtraction is UB if the result pointer doesn't point to the same
object as the argument pointer.  Given "p" and "p-1" are pointers to the same
object, neither one can be null.

-- 
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/20180710/858f0219/attachment.html>