<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 - After r305903, Assertion failed: (Replacement.isCanonical() && "replacement types must always be canonical"), function getSubstTemplateTypeParmType,"
href="https://bugs.llvm.org/show_bug.cgi?id=34343">34343</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>After r305903, Assertion failed: (Replacement.isCanonical() && "replacement types must always be canonical"), function getSubstTemplateTypeParmType,
</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>-New Bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>dimitry@andric.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>In <a href="https://bugs.freebsd.org/221864">https://bugs.freebsd.org/221864</a>, Jan Beich describes how building a vulkan
LLVM wrapper causes clang 5.0.0 rc2 to assert with: 'Assertion failed:
(Replacement.isCanonical() && "replacement types must always be canonical"),
function getSubstTemplateTypeParmType, file
/poudriere/jails/head-amd64/usr/src/contrib/llvm/tools/clang/lib/AST/ASTContext.cpp,
line 3520.'
This also reproduces on trunk r311836, resulting in:
Assertion failed: (Replacement.isCanonical() && "replacement types must always
be canonical"), function getSubstTemplateTypeParmType, file
/share/dim/src/llvm/trunk/tools/clang/lib/AST/ASTContext.cpp, line 3516.
#0 0x00000000012e2c08 llvm::sys::PrintStackTrace(llvm::raw_ostream&)
(/share/dim/llvm/311836-trunk-freebsd12-amd64-ninja-rel-1/bin/clang+0x12e2c08)
#1 0x00000000012e31f6 SignalHandler(int)
(/share/dim/llvm/311836-trunk-freebsd12-amd64-ninja-rel-1/bin/clang+0x12e31f6)
#2 0x0000000803b0c8f6 handle_signal /usr/src/lib/libthr/thread/thr_sig.c:0:3
Stack dump:
0. Program arguments:
/share/dim/llvm/311836-trunk-freebsd12-amd64-ninja-rel-1/bin/clang -cc1 -triple
x86_64-unknown-freebsd12.0 -emit-obj -mrelax-all -disable-free -main-file-name
llvm_wrapper.cpp -mrelocation-model static -mthread-model posix
-mdisable-fp-elim -masm-verbose -mconstructor-aliases -munwind-tables
-target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -coverage-notes-file
/tmp/vulkan-cpu/src/llvm_wrapper/CMakeFiles/vulkan_cpu_llvm_wrapper.dir/llvm_wrapper.cpp.gcno
-D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -Wall
-Werror -Wno-error=#warnings -std=gnu++14 -fdeprecated-macro -ftemplate-depth
1024 -ferror-limit 19 -fmessage-length 101 -fobjc-runtime=gnustep
-fcxx-exceptions -fexceptions -fdiagnostics-show-option -fcolor-diagnostics -x
c++ llvm_wrapper-eb0531.cpp
1. /tmp/vulkan-cpu/src/llvm_wrapper/llvm_wrapper.h:202:5: current parser
token '{'
2. /tmp/vulkan-cpu/src/llvm_wrapper/llvm_wrapper.h:43:1: parsing namespace
'vulkan_cpu'
3. /tmp/vulkan-cpu/src/llvm_wrapper/llvm_wrapper.h:45:1: parsing namespace
'vulkan_cpu::llvm_wrapper'
4. /tmp/vulkan-cpu/src/llvm_wrapper/llvm_wrapper.h:189:1: parsing
struct/union/class body 'vulkan_cpu::llvm_wrapper::Target'
5. /tmp/vulkan-cpu/src/util/variant.h:895:7: instantiating class
definition 'vulkan_cpu::util::variant<vulkan_cpu::llvm_wrapper::Target,
vulkan_cpu::llvm_wrapper::LLVM_string>'
Bisection shows that this started occurring after
<a href="https://reviews.llvm.org/rL305903">https://reviews.llvm.org/rL305903</a> ("Function with unparsed body is a
definition"), which is a fix for <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - clang++ ignores friend function definition within class scope (allowing redefinition)"
href="show_bug.cgi?id=14785">bug 14785</a>.
Minimized test case:
// clang -cc1 -triple x86_64 -S -std=c++11 -fcxx-exceptions -fexceptions
testcase.cpp
template <int, class> struct a;
namespace b {
constexpr int c() { return 0; }
template <int, typename> struct d;
template <typename... e> using f = d<0, e...>;
}
template <typename> struct g {
template <typename... h>
friend constexpr typename a<b::f<h...>::i, bool>::j
operator==(const g<h...> &, const g<h...> &) noexcept(b::f<h...>::k);
};
template <typename... e>
constexpr typename a<b::f<e...>::i, bool>::j
operator==(const g<e...> &, const g<e...> &) noexcept(b::f<e...>::k);
void l(g<int>) {}</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>