<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><span class="vcard"><a class="email" href="mailto:isanbard@gmail.com" title="Bill Wendling <isanbard@gmail.com>"> <span class="fn">Bill Wendling</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - Non-deterministic behavior when using LoopInfo pass in LLVM"
href="http://llvm.org/bugs/show_bug.cgi?id=17714">bug 17714</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>INVALID
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - Non-deterministic behavior when using LoopInfo pass in LLVM"
href="http://llvm.org/bugs/show_bug.cgi?id=17714#c3">Comment # 3</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - Non-deterministic behavior when using LoopInfo pass in LLVM"
href="http://llvm.org/bugs/show_bug.cgi?id=17714">bug 17714</a>
from <span class="vcard"><a class="email" href="mailto:isanbard@gmail.com" title="Bill Wendling <isanbard@gmail.com>"> <span class="fn">Bill Wendling</span></a>
</span></b>
<pre>I don't think that this is real non-deterministic behavior. What's happening is
that the memory for the loop analysis is sometimes being reused between
function passes. So the map is sometimes associating a basic block with the
address of a previous LoopInfo object.
For instance, if you iterate over the map and try to emit the LoopInfo object,
it will fail because that object is no longer in valid memory.
Anyway, it sucks, but this isn't an LLVM bug. :-(</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>