[llvm-bugs] [Bug 49599] Signed integer overflow causes program to skip the epilogue and fall into another function

[via llvm-bugs]

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

Roman Lebedev <lebedev.ri at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|INVALID                     |---
             Status|RESOLVED                    |REOPENED

--- Comment #5 from Roman Lebedev <lebedev.ri at gmail.com> ---
(In reply to Dave Green from comment #4)
> -mllvm -trap-unreachable will add a trap.
> 
> Some targets (MachO, Webassembly, PS4) will do this by default.

Hm, that doesn't pessimize the IR at all: https://godbolt.org/z/q49rq6
Only the assembly: https://godbolt.org/z/sceK9T
Why isn't this the default then?

-- 
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/20210316/7d2a5861/attachment-0001.html>