<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:davide@freebsd.org" title="Davide Italiano <davide@freebsd.org>"> <span class="fn">Davide Italiano</span></a>
</span> changed
<a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - Assertion during "Running pass 'X86 DAG->DAG Instruction Selection' on function '@_Z3foov'""
href="https://bugs.llvm.org/show_bug.cgi?id=22364">bug 22364</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;">CC</td>
<td>
</td>
<td>davide@freebsd.org
</td>
</tr>
<tr>
<td style="text-align:right;">Status</td>
<td>RESOLVED
</td>
<td>REOPENED
</td>
</tr>
<tr>
<td style="text-align:right;">Resolution</td>
<td>INVALID
</td>
<td>---
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - Assertion during "Running pass 'X86 DAG->DAG Instruction Selection' on function '@_Z3foov'""
href="https://bugs.llvm.org/show_bug.cgi?id=22364#c5">Comment # 5</a>
on <a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - Assertion during "Running pass 'X86 DAG->DAG Instruction Selection' on function '@_Z3foov'""
href="https://bugs.llvm.org/show_bug.cgi?id=22364">bug 22364</a>
from <span class="vcard"><a class="email" href="mailto:davide@freebsd.org" title="Davide Italiano <davide@freebsd.org>"> <span class="fn">Davide Italiano</span></a>
</span></b>
<pre>I don't think this is really invalid.
If this code passes the verifier, it should never crash in the backend.
So, either we reject this code in the verifier, or we bail out in the backend.
But I think a crash is still a legitimate bug, independently from the fact that
the code might exhibit UB.</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>