[llvm-bugs] [Bug 34403] New: Assertion failure in RetainSummaryManager::getFunctionSummary()

[via llvm-bugs]

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

            Bug ID: 34403
           Summary: Assertion failure in
                    RetainSummaryManager::getFunctionSummary()
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            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 getFunctionSummary-crash.cc
class a {
  void b() const;
};
struct c {
  static int _();
};
void a::b() const { c::_(); }
$ clang-tidy -checks=-*,clang-analyzer* getFunctionSummary-crash.cc --
-std=c++11
assert.h assertion failed at llvm/include/llvm/ADT/StringRef.h:239 in char
llvm::StringRef::operator[](size_t) const: Index < Length && "Invalid index!"
    @          0x5450cda  __assert_fail
    @          0x1e8ce3a  llvm::StringRef::operator[]()
    @          0x2890e45  (anonymous
namespace)::RetainSummaryManager::getFunctionSummary()
    @          0x28aa21c  (anonymous
namespace)::RetainSummaryManager::getSummary()
    @          0x28aa135  (anonymous
namespace)::RetainCountChecker::checkPostCall()
    @          0x28aa0c0  clang::ento::check::PostCall::_checkCall<>()
    @          0x2e0c362  clang::ento::CheckerFn<>::operator()()
    @          0x2e020fa  (anonymous namespace)::CheckCallContext::runChecker()
    @          0x2dff0ee  expandGraphWithCheckers<>()
    @          0x2dfee40 
clang::ento::CheckerManager::runCheckersForCallEvent()
    @          0x2e60638  clang::ento::CheckerManager::runCheckersForPostCall()
    @          0x2e62c86  clang::ento::ExprEngine::evalCall()
    @          0x2e62b1b  clang::ento::ExprEngine::VisitCallExpr()
    @          0x2e1b904  clang::ento::ExprEngine::Visit()
    @          0x2e18824  clang::ento::ExprEngine::ProcessStmt()
    @          0x2e184aa  clang::ento::ExprEngine::processCFGElement()
    @          0x2e46646  clang::ento::CoreEngine::HandlePostStmt()
    @          0x2e45f46  clang::ento::CoreEngine::dispatchWorkItem()
    @          0x2e45a88  clang::ento::CoreEngine::ExecuteWorkList()
    @          0x2140055  clang::ento::ExprEngine::ExecuteWorkList()
    @          0x20e8a52  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @          0x20e8811  (anonymous
namespace)::AnalysisConsumer::RunPathSensitiveChecks()
    @          0x20e84d5  (anonymous namespace)::AnalysisConsumer::HandleCode()
    @          0x20dbbb3  (anonymous
namespace)::AnalysisConsumer::HandleDeclsCallGraph()
    @          0x20d9e37  (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()
    @          0x251be2e  clang::MultiplexConsumer::HandleTranslationUnit()
    @          0x2f61426  clang::ParseAST()
    @          0x25097fa  clang::ASTFrontendAction::ExecuteAction()
    @          0x2509290  clang::FrontendAction::Execute()

-- 
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/20170901/5388a0eb/attachment-0001.html>