[llvm-bugs] [Bug 965] Infinite loops are optimized out in languages without forward progress guarantees (C, Rust)

[via llvm-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
                 CC|                            |nikita.ppv at gmail.com

--- Comment #32 from Nikita Popov <nikita.ppv at gmail.com> ---
This issue is fixed in LLVM 12 by the introduction of the mustprogress
attribute and loop metadata, inference of willreturn and finally limitation of
call DCE to willreturn functions.

There might still be some incorrect assumptions left over here and there, but
the core issue is fixed now, and we should track remaining issues separately.

-- 
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/20210124/cfc771ae/attachment.html>