<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:alexfh@google.com" title="Alexander Kornienko <alexfh@google.com>"> <span class="fn">Alexander Kornienko</span></a>
</span> changed
<a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - structured binding, crash: "Support for this Decl not implemented." ExprEngine.cpp:2006"
href="https://bugs.llvm.org/show_bug.cgi?id=32380">bug 32380</a>
<br>
<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>What</th>
<th>Removed</th>
<th>Added</th>
</tr>
<tr>
<td style="text-align:right;">Resolution</td>
<td>FIXED
</td>
<td>---
</td>
</tr>
<tr>
<td style="text-align:right;">Status</td>
<td>RESOLVED
</td>
<td>REOPENED
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - structured binding, crash: "Support for this Decl not implemented." ExprEngine.cpp:2006"
href="https://bugs.llvm.org/show_bug.cgi?id=32380#c4">Comment # 4</a>
on <a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - structured binding, crash: "Support for this Decl not implemented." ExprEngine.cpp:2006"
href="https://bugs.llvm.org/show_bug.cgi?id=32380">bug 32380</a>
from <span class="vcard"><a class="email" href="mailto:alexfh@google.com" title="Alexander Kornienko <alexfh@google.com>"> <span class="fn">Alexander Kornienko</span></a>
</span></b>
<pre>The crash is still happening. I guess, you might have failed to reproduce it
due to the -std=c++1z to -std=c++17 change.
$ cat /tmp/qq.cc ; clang-tidy -checks=* /tmp/qq.cc -- -std=c++17
struct s { int a; };
int main()
{
auto[a] = s{1};
if (a)
{
}
}
Support for this Decl not implemented.
UNREACHABLE executed at
llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:2330!
@ 0x559d15215c20 80 llvm::llvm_unreachable_internal()
@ 0x559d145126f3 992
clang::ento::ExprEngine::VisitCommonDeclRefExpr()
@ 0x559d1450e44f 4448 clang::ento::ExprEngine::Visit()
@ 0x559d1450a8ee 480 clang::ento::ExprEngine::ProcessStmt()
@ 0x559d1450a5e9 208
clang::ento::ExprEngine::processCFGElement()
@ 0x559d1453fe82 128 clang::ento::CoreEngine::HandlePostStmt()
@ 0x559d1453f77b 496
clang::ento::CoreEngine::dispatchWorkItem()
@ 0x559d1453f342 544 clang::ento::CoreEngine::ExecuteWorkList()
@ 0x559d125807f5 80 clang::ento::ExprEngine::ExecuteWorkList()
@ 0x559d125265c2 1056 (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
@ 0x559d12526381 80 (anonymous
namespace)::AnalysisConsumer::RunPathSensitiveChecks()
@ 0x559d12526035 288 (anonymous
namespace)::AnalysisConsumer::HandleCode()
@ 0x559d12519603 416 (anonymous
namespace)::AnalysisConsumer::HandleDeclsCallGraph()
@ 0x559d12518222 304 (anonymous
namespace)::AnalysisConsumer::runAnalysisOnTranslationUnit()
@ 0x559d12517486 176 (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()
@ 0x559d1297c81e 80
clang::MultiplexConsumer::HandleTranslationUnit()
@ 0x559d131e8f2d 288 clang::ParseAST()
@ 0x559d12968a0a 80 clang::ASTFrontendAction::ExecuteAction()
@ 0x559d129684a0 112 clang::FrontendAction::Execute()
@ 0x559d1275da4c 496 clang::CompilerInstance::ExecuteAction()
@ 0x559d12618c82 464
clang::tooling::FrontendActionFactory::runInvocation()
@ 0x559d12618b23 160
clang::tooling::ToolInvocation::runInvocation()
@ 0x559d126173da 1840 clang::tooling::ToolInvocation::run()
@ 0x559d12619dfe 1760 clang::tooling::ClangTool::run()
@ 0x559d11e59041 1696 clang::tidy::runClangTidy()
@ 0x559d0cafff93 2848 clang::tidy::clangTidyMain()
@ 0x559d0caff422 48 main</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>