[llvm-bugs] [Bug 32088] New: Crash in clang::ento::MemRegion::getKind()

[via llvm-bugs]

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

            Bug ID: 32088
           Summary: Crash  in clang::ento::MemRegion::getKind()
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: alexfh at google.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 18031
  --> https://bugs.llvm.org/attachment.cgi?id=18031&action=edit
Test case that's causing a crash

$ clang-tidy -checks=-*,clang-analyzer* getBaseRegion-repro.cc -- -std=c++11

PC: @          0x6a9eebc  (unknown)  clang::ento::MemRegion::getKind()
    @          0x9a0b2b2       1344  FailureSignalHandler()
    @     0x7f6a3cc283d0  (unknown)  (unknown)
    @          0x75c807d         48  clang::ento::MemRegion::getBaseRegion()
    @          0x760129e        224 
clang::ento::ExprEngine::ProcessAutomaticObjDtor()
    @          0x75fd736        256 
clang::ento::ExprEngine::ProcessImplicitDtor()
    @          0x75fc7e0        224 
clang::ento::ExprEngine::processCFGElement()
    @          0x7629e96        128  clang::ento::CoreEngine::HandlePostStmt()
    @          0x7629793        448 
clang::ento::CoreEngine::dispatchWorkItem()
    @          0x7629328        544  clang::ento::CoreEngine::ExecuteWorkList()
    @          0x6a42215         80  clang::ento::ExprEngine::ExecuteWorkList()
    @          0x69eced2        976  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @          0x69ecc91         80  (anonymous
namespace)::AnalysisConsumer::RunPathSensitiveChecks()
    @          0x69ec950        320  (anonymous
namespace)::AnalysisConsumer::HandleCode()
    @          0x69e0413        416  (anonymous
namespace)::AnalysisConsumer::HandleDeclsCallGraph()
    @          0x69de697        336  (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()
    @          0x735c87e         80 
clang::MultiplexConsumer::HandleTranslationUnit()
    @          0x77b66e6        288  clang::ParseAST()
    @          0x736902a         80  clang::ASTFrontendAction::ExecuteAction()
    @          0x7368af0        112  clang::FrontendAction::Execute()
    @          0x71952ef        464  clang::CompilerInstance::ExecuteAction()
    @          0x6faed6e        416 
clang::tooling::FrontendActionFactory::runInvocation()
    @          0x6faec13        160 
clang::tooling::ToolInvocation::runInvocation()
    @          0x6fad512       1824  clang::tooling::ToolInvocation::run()
    @          0x6fafdb6       1664  clang::tooling::ClangTool::run()
    @          0x6470821       2304  clang::tidy::runClangTidy()
    @           0x62f0ce       2208  clang::tidy::clangTidyMain()
    @           0x62e5e2         48  main

-- 
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/20170228/44176698/attachment-0001.html>