[llvm-bugs] [Bug 32380] structured binding, crash: "Support for this Decl not implemented." ExprEngine.cpp:2006

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=32380

Alexander Kornienko <alexfh at google.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |---
             Status|RESOLVED                    |REOPENED

--- Comment #4 from Alexander Kornienko <alexfh at google.com> ---
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

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180308/a51de834/attachment.html>