<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 --- - Abstract class with virtual base"
href="http://llvm.org/bugs/show_bug.cgi?id=16659">16659</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Abstract class with virtual base
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>3.3
</td>
</tr>
<tr>
<th>Hardware</th>
<td>All
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</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>m-ou.se@m-ou.se
</td>
</tr>
<tr>
<th>CC</th>
<td>dgregor@apple.com, llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Currently, clang++ rejects the following code:
struct base {
explicit base(int) {}
virtual void foo() = 0;
virtual ~base() {}
};
struct left : virtual base {};
struct right : virtual base {};
struct derived : left, right {
virtual void foo() override {}
derived() : base(10) {}
};
int main() {}
The code is correct according to:
<a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#257">http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#257</a>
(Summarized: The code is rejected because left and right don't have a
constructor that initializes their virtual base. However, left and right will
never have to initialize their virtual base, since they are abstract and thus
will never be the 'most derived class'.)</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>