<html>
<head>
<base href="http://llvm.org/bugs/" />
</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 --- - diagnose replacement allocation functions that are defined 'inline'"
href="http://llvm.org/bugs/show_bug.cgi?id=17591">17591</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>diagnose replacement allocation functions that are defined 'inline'
</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>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>richard-llvm@metafoo.co.uk
</td>
</tr>
<tr>
<th>CC</th>
<td>dgregor@apple.com, llvmbugs@cs.uiuc.edu, mclow.lists@gmail.com, rafael.espindola@gmail.com
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>17.6.4.6/3 says: The program’s definitions shall not be specified as inline. No
diagnostic is required.
We should diagnose this rule, since it is easy to do so, and violations of it
lead to very odd behavior. Example:
#include <cstdlib>
#include <cstdio>
#include <thread>
#include <unistd.h>
inline void* operator new(size_t size) throw (std::bad_alloc) {
void* p = malloc(size);
printf("malloc %zu (%p)\n", size, p);
return p;
}
inline void operator delete(void* p) throw() {
printf("free %p\n", p);
free(p);
}
int main()
{
std::thread t([] {
std::this_thread::sleep_for(std::chrono::seconds(1));
});
t.detach();
std::this_thread::sleep_for(std::chrono::seconds(2));
return 0;
}
When built with optimizations, this gives different numbers of 'malloc' and
'free' lines.</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>