[llvm-bugs] [Bug 34766] New: Assertion failure in clang::ento::ExprEngine::VisitCompoundLiteralExpr

[via llvm-bugs]

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

            Bug ID: 34766
           Summary: Assertion failure in
                    clang::ento::ExprEngine::VisitCompoundLiteralExpr
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: ganna at apple.com
          Reporter: alexfh at google.com
                CC: dcoughlin at apple.com, kremenek at apple.com,
                    llvm-bugs at lists.llvm.org

$ cat test-VisitCompoundLiteralExpr.cc
namespace std {
template <class>
class initializer_list {};
}  // namespace std
class a {
 public:
  a(char *);
};
template <typename b>
int c(std::initializer_list<b>, a);
void e() { int d = c((std::initializer_list<int>){d}, ""); }
$ clang-tidy -checks=-*,clang-analyzer-core* test-VisitCompoundLiteralExpr.cc
-- -std=c++11
assertion failed at
llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp:536 in void
clang::ento::ExprEngine::VisitCompoundLiteralExpr(const
clang::CompoundLiteralExpr *, clang::ento::ExplodedNode *,
clang::ento::ExplodedNodeSet &): isa<InitListExpr>(Init)
    @          0x530f90a  __assert_fail
    @          0x1caa3a4  clang::ento::ExprEngine::VisitCompoundLiteralExpr()
    @          0x1c6edea  clang::ento::ExprEngine::Visit()
    @          0x1c6ba21  clang::ento::ExprEngine::ProcessStmt()
    @          0x1c6b6da  clang::ento::ExprEngine::processCFGElement()
    @          0x1c99d26  clang::ento::CoreEngine::HandlePostStmt()
    @          0x1c99626  clang::ento::CoreEngine::dispatchWorkItem()
    @          0x1c99188  clang::ento::CoreEngine::ExecuteWorkList()
    @           0xf8c225  clang::ento::ExprEngine::ExecuteWorkList()
    @           0xf338f2  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @           0xf336b1  (anonymous
namespace)::AnalysisConsumer::RunPathSensitiveChecks()
    @           0xf33375  (anonymous namespace)::AnalysisConsumer::HandleCode()
    @           0xf26a53  (anonymous
namespace)::AnalysisConsumer::HandleDeclsCallGraph()
    @           0xf24cd7  (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()
    @          0x135e04e  clang::MultiplexConsumer::HandleTranslationUnit()
    @          0x1db6d66  clang::ParseAST()
    @          0x134b8ea  clang::ASTFrontendAction::ExecuteAction()
    @          0x134b380  clang::FrontendAction::Execute()
    @          0x1161602  clang::CompilerInstance::ExecuteAction()
    @          0x102b612 
clang::tooling::FrontendActionFactory::runInvocation()
    @          0x102b4b3  clang::tooling::ToolInvocation::runInvocation()
    @          0x1029d76  clang::tooling::ToolInvocation::run()
    @          0x102c6a0  clang::tooling::ClangTool::run()
    @           0x894d74  clang::tidy::runClangTidy()
    @           0x5df191  clang::tidy::clangTidyMain()

-- 
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/20170928/c9d3beaf/attachment-0001.html>