[llvm-bugs] [Bug 37688] New: Assertion failure in clang::ento::CXXInstanceCall::getDecl()

[via llvm-bugs]

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

            Bug ID: 37688
           Summary: Assertion failure in
                    clang::ento::CXXInstanceCall::getDecl()
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: alexfh at google.com
                CC: llvm-bugs at lists.llvm.org

$ cat test-CXXInstanceCall__getDecl.cc
struct b {
  ~b();
};
struct d {
  b c;
};
struct k {
  ~k() noexcept {}
  union {
    d g;
  };
};
void o() {
  k();
}
$ ./clang-tidy -checks=-*,clang-analyzer* test-CXXInstanceCall__getDecl.cc --
-std=c++11
assertion failed at llvm/include/llvm/Support/Casting.h:106 in static bool
llvm::isa_impl_cl<clang::FunctionDecl, const clang::Decl *>::doit(const From *)
[To = clang::FunctionDecl, From = const clang::Decl *]: Val && "isa<> used on a
null pointer"
    @     0x5564346ae596  __assert_fail
    @     0x5564323d0ac9  clang::ento::CXXInstanceCall::getDecl()
    @     0x5564323cf81a  clang::ento::CallEvent::getProgramPoint()
    @     0x5564323e0b0f 
clang::ento::CheckerManager::runCheckersForCallEvent()
    @     0x55643241c668  clang::ento::ExprEngine::VisitCXXDestructor()
    @     0x5564323f5431  clang::ento::ExprEngine::ProcessMemberDtor()
    @     0x5564323f1176  clang::ento::ExprEngine::ProcessImplicitDtor()
    @     0x5564323efe36  clang::ento::ExprEngine::processCFGElement()
    @     0x55643240e38e  clang::ento::CoreEngine::HandleBlockEntrance()
    @     0x55643240dc0e  clang::ento::CoreEngine::dispatchWorkItem()
    @     0x55643240d8bd  clang::ento::CoreEngine::ExecuteWorkList()
    @     0x55643214715c  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @     0x556432146cd6  (anonymous namespace)::AnalysisConsumer::HandleCode()
    @     0x556432132a64  (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()

-- 
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/20180605/9abd2aac/attachment.html>