<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><span class="vcard"><a class="email" href="mailto:bob.wilson@apple.com" title="Bob Wilson <bob.wilson@apple.com>"> <span class="fn">Bob Wilson</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - addvsi3 & subvsi3 don't trap when they should"
href="http://llvm.org/bugs/show_bug.cgi?id=21518">bug 21518</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;">CC</td>
<td>
</td>
<td>bob.wilson@apple.com
</td>
</tr>
<tr>
<td style="text-align:right;">Resolution</td>
<td>---
</td>
<td>FIXED
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - addvsi3 & subvsi3 don't trap when they should"
href="http://llvm.org/bugs/show_bug.cgi?id=21518#c1">Comment # 1</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - addvsi3 & subvsi3 don't trap when they should"
href="http://llvm.org/bugs/show_bug.cgi?id=21518">bug 21518</a>
from <span class="vcard"><a class="email" href="mailto:bob.wilson@apple.com" title="Bob Wilson <bob.wilson@apple.com>"> <span class="fn">Bob Wilson</span></a>
</span></b>
<pre>I asked Steve Canon and Duncan Exon Smith to review the patch. The only
question that came up was whether the code with the patch still has undefined
behavior. Tim Northover pointed out that according to C99 6.3.1.3p3,
overflowing unsigned to signed conversion is implementation defined, not
undefined, behavior. Since compiler-rt is part of the compiler and we control
the implementation, that should be OK.
I've committed the patch as r221826.
(This was tracked internally as rdar://problem/18924081.)</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>