[llvm-bugs] [Bug 41300] New: Assertion failure at StaticAnalyzer/Core/ExprEngine.cpp:2238 in virtual void clang::ento::ExprEngine::processEndOfFunction(...): I.first.getItem().getKind() == ConstructionContextItem::TemporaryDestructorKind || I.first.getItem().getKind() == Construction

[via llvm-bugs]

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

            Bug ID: 41300
           Summary: Assertion failure at
                    StaticAnalyzer/Core/ExprEngine.cpp:2238 in virtual
                    void
                    clang::ento::ExprEngine::processEndOfFunction(...):
                    I.first.getItem().getKind() ==
                    ConstructionContextItem::TemporaryDestructorKind ||
                    I.first.getItem().getKind() == Construction
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: noqnoqneo at gmail.com
          Reporter: alexfh at google.com
                CC: dcoughlin at apple.com, llvm-bugs at lists.llvm.org

$ cat t.cc
int a;
class b {
 public:
  b(int);
};
class c {
 protected:
  c(b d = a) : e(d) {}
  b e;
};
class f : virtual c {
 protected:
  f(b d = a) : c(d) {}
};
class g : f {
  g() {}
};
$ ./clang-tidy -checks="-*,clang-analyzer*" t.cc --
assertion failed at
llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:2238 in virtual void
clang::ento::ExprEngine::processEndOfFunction(clang::ento::NodeBuilderContext
&, clang::ento::ExplodedNode *, const clang::ReturnStmt *):
I.first.getItem().getKind() == ConstructionContextItem::TemporaryDestructorKind
|| I.first.getItem().getKind() == ConstructionContextItem::ElidedDestructorKind
    @     0x563e7e1ef926  __assert_fail
    @     0x563e7c873720  clang::ento::ExprEngine::processEndOfFunction()
    @     0x563e7c85a9aa  clang::ento::CoreEngine::HandleBlockEdge()
    @     0x563e7c85a30e  clang::ento::CoreEngine::dispatchWorkItem()
    @     0x563e7c85a03c  clang::ento::CoreEngine::ExecuteWorkList()
    @     0x563e7c5b7b7b  (anonymous namespace)::AnalysisConsumer::HandleCode()
    @     0x563e7c5a1673  (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()
    @     0x563e7cbd7e0c  clang::MultiplexConsumer::HandleTranslationUnit()
    @     0x563e7cd47dd4  clang::ParseAST()

-- 
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/20190329/8f87b787/attachment.html>