<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:richard-llvm@metafoo.co.uk" title="Richard Smith <richard-llvm@metafoo.co.uk>"> <span class="fn">Richard Smith</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - By-value function parameter changes are rolled back prior to destructor call during constant evaluation"
href="https://bugs.llvm.org/show_bug.cgi?id=47805">bug 47805</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;">Fixed By Commit(s)</td>
<td>
</td>
<td>f7f2e4261a98b2da519d58e7f6794b013cda7a4b
</td>
</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></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - By-value function parameter changes are rolled back prior to destructor call during constant evaluation"
href="https://bugs.llvm.org/show_bug.cgi?id=47805#c3">Comment # 3</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - By-value function parameter changes are rolled back prior to destructor call during constant evaluation"
href="https://bugs.llvm.org/show_bug.cgi?id=47805">bug 47805</a>
from <span class="vcard"><a class="email" href="mailto:richard-llvm@metafoo.co.uk" title="Richard Smith <richard-llvm@metafoo.co.uk>"> <span class="fn">Richard Smith</span></a>
</span></b>
<pre>Turns out we were effectively making an (as if trivial) copy from the argument
in the caller to the parameter in the callee, and only destroying the source of
that copy. For example, this also failed:
struct B { B *p = this; };
constexpr bool g(B b) { return &b == b.p; }
static_assert(g({}));
That's all now fixed, thanks for the report.</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>