<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - Assertion failure in clang::ento::CXXInstanceCall::getDecl()"
   href="https://bugs.llvm.org/show_bug.cgi?id=37688">37688</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Assertion failure in clang::ento::CXXInstanceCall::getDecl()
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>clang
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Linux
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>Static Analyzer
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>dcoughlin@apple.com
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>alexfh@google.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvm-bugs@lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>$ 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()</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>