<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Wrong code with throwing const function"
href="https://bugs.llvm.org/show_bug.cgi?id=51021">51021</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Wrong code with throwing const function
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Keywords</th>
<td>miscompilation
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>C++
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>harald@gigawatt.nl
</td>
</tr>
<tr>
<th>CC</th>
<td>blitzrakete@gmail.com, dgregor@apple.com, erik.pilkington@gmail.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
</td>
</tr></table>
<p>
<div>
<pre>The GCC developers have clarified that the function attributes const and pure
do not imply that the functions do not throw. clang does assume that and as
such miscompiles the following program:
__attribute__((const)) void f() {
throw 0;
}
int main() {
try {
f();
} catch(int i) {
return 0;
}
return 1;
}
This program should return 0, not 1.
Godbolt link: <a href="https://godbolt.org/z/jj1PG7o78">https://godbolt.org/z/jj1PG7o78</a>
(Please ignore the warning emitted by GCC, 'const' attribute on function
returning 'void'; I have reported that as part of
<a href="https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101376">https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101376</a>.)</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>