[LLVMbugs] [Bug 11545] New: Analysis for this terminator not implemented (CoreEngine.cpp:325)

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=11545

             Bug #: 11545
           Summary: Analysis for this terminator not implemented
                    (CoreEngine.cpp:325)
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: ch.ehrlicher at gmx.de
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


I get the following error when I try scan-build on my code:

Analysis for this terminator not implemented.                                   
UNREACHABLE executed at
/home/chehrlic/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:325!
0  clang++         0x0000000001a6565f
1  clang++         0x0000000001a65b79
2  libpthread.so.0 0x00007f1df4d3dd00
3  libc.so.6       0x00007f1df4058d95 gsignal + 53
4  libc.so.6       0x00007f1df405a2ab abort + 379
5  clang++         0x0000000001a55aef llvm::llvm_unreachable_internal(char
const*, char const*, unsigned int) + 463
6  clang++         0x0000000000cb65a1
clang::ento::CoreEngine::HandleBlockExit(clang::CFGBlock const*,
clang::ento::ExplodedNode*) + 145
7  clang++         0x0000000000cb61e5
clang::ento::CoreEngine::HandleBlockEntrance(clang::BlockEntrance const&,
clang::ento::ExplodedNode*) + 213
8  clang++         0x0000000000cb58d5
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, clang::ento::ProgramState const*) + 549
9  clang++         0x0000000000c2d2e2
10 clang++         0x0000000000c2ccd7
11 clang++         0x0000000000c2c199
12 clang++         0x0000000000c2c0a7
13 clang++         0x000000000092cad5 clang::ParseAST(clang::Sema&, bool) + 421
14 clang++         0x00000000006e5fdb
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 987
15 clang++         0x00000000006cee90
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 2816
16 clang++         0x00000000006c63b9 cc1_main(char const**, char const**, char
const*, void*) + 5561
17 clang++         0x00000000006cb165 main + 757
18 libc.so.6       0x00007f1df404523d __libc_start_main + 237
19 clang++         0x00000000006c4d45


And here the testcase:

#include <stdexcept>

void Error_terminate()
{
  try
  {
      throw;
  }
  catch (...)
  {
  }
}

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.