<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 - Constexpr destructor support causes crash from unhandled cleanup"
href="https://bugs.llvm.org/show_bug.cgi?id=47620">47620</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Constexpr destructor support causes crash from unhandled cleanup
</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>All
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</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>smeenai@fb.com
</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>$ cat reduced.cpp
template <class _Tp, _Tp __v> struct integral_constant {
static constexpr const _Tp value = __v;
};
using true_type = integral_constant<bool, true>;
using false_type = integral_constant<bool, false>;
struct is_constexpr_default_constructible_ {
template <typename T, int = (void(T()), 0)> static true_type sfinae(T *);
static false_type sfinae(void *);
template <typename T>
static constexpr bool apply =
decltype(sfinae(static_cast<T *>(nullptr)))::value;
};
template <typename T>
constexpr bool is_constexpr_default_constructible_v =
is_constexpr_default_constructible_::apply<T>;
struct NonTrivialDtor {
~NonTrivialDtor() {}
};
static_assert(!is_constexpr_default_constructible_v<NonTrivialDtor>, "");
$ clang -fsyntax-only reduced.cpp
Unhandled cleanup; missing full expression marker?
UNREACHABLE executed at
/home/smeenai/llvm-project/clang/lib/AST/ExprConstant.cpp:12730!
Bisects to 457226e02a6e
(<a href="https://github.com/llvm/llvm-project/commit/457226e02a6e">https://github.com/llvm/llvm-project/commit/457226e02a6e</a>). If you build the
compiler with assertions disabled it doesn't crash (even though the crash
itself doesn't look like an assertion failure).</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>