<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><span class="vcard"><a class="email" href="mailto:sharparrow1@yahoo.com" title="Eli Friedman <sharparrow1@yahoo.com>"> <span class="fn">Eli Friedman</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - Clang optimized out a branch function with Os option"
href="http://llvm.org/bugs/show_bug.cgi?id=16744">bug 16744</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>sharparrow1@yahoo.com
</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 - Clang optimized out a branch function with Os option"
href="http://llvm.org/bugs/show_bug.cgi?id=16744#c1">Comment # 1</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - Clang optimized out a branch function with Os option"
href="http://llvm.org/bugs/show_bug.cgi?id=16744">bug 16744</a>
from <span class="vcard"><a class="email" href="mailto:sharparrow1@yahoo.com" title="Eli Friedman <sharparrow1@yahoo.com>"> <span class="fn">Eli Friedman</span></a>
</span></b>
<pre>clang is behaving correctly here. Assuming no undefined behavior,
pxMutex->uxRecursiveCallCount must point at the same object before and after
the decrement, so it can't be null. Therefore, xQueueGenericSend can never be
called.
If you want clang to not optimize this sort of construct, you can pass -fwrapv.</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>