<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:nikita.ppv@gmail.com" title="Nikita Popov <nikita.ppv@gmail.com>"> <span class="fn">Nikita Popov</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - Infinite loops are optimized out in languages without forward progress guarantees (C, Rust)"
href="https://bugs.llvm.org/show_bug.cgi?id=965">bug 965</a>
<br>
<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>What</th>
<th>Removed</th>
<th>Added</th>
</tr>
<tr>
<td style="text-align:right;">Status</td>
<td>NEW
</td>
<td>RESOLVED
</td>
</tr>
<tr>
<td style="text-align:right;">Resolution</td>
<td>---
</td>
<td>FIXED
</td>
</tr>
<tr>
<td style="text-align:right;">CC</td>
<td>
</td>
<td>nikita.ppv@gmail.com
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - Infinite loops are optimized out in languages without forward progress guarantees (C, Rust)"
href="https://bugs.llvm.org/show_bug.cgi?id=965#c32">Comment # 32</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - Infinite loops are optimized out in languages without forward progress guarantees (C, Rust)"
href="https://bugs.llvm.org/show_bug.cgi?id=965">bug 965</a>
from <span class="vcard"><a class="email" href="mailto:nikita.ppv@gmail.com" title="Nikita Popov <nikita.ppv@gmail.com>"> <span class="fn">Nikita Popov</span></a>
</span></b>
<pre>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.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>