[LLVMbugs] [Bug 11598] New: Analysis for this terminator not implemented.

[bugzilla-daemon at llvm.org]

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

             Bug #: 11598
           Summary: Analysis for this terminator not implemented.
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: gryzman at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Analysis for this terminator not implemented.
UNREACHABLE executed at
/mnt/oldhd/home/gjaskie/Projects/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:325!
0  clang++   0x097c65c8
1  clang++   0x097c6b14
2            0x00606400 __kernel_sigreturn + 0
3            0x00606424 __kernel_vsyscall + 16
4  libc.so.6 0x0032db91 gsignal + 81
5  libc.so.6 0x0032f46a abort + 378
6  clang++   0x097aeafc
7  clang++   0x089b9bc3
clang::ento::CoreEngine::HandleBlockExit(clang::CFGBlock const*,
clang::ento::ExplodedNode*) + 99
8  clang++   0x089ba1d2
clang::ento::CoreEngine::HandleBlockEntrance(clang::BlockEntrance const&,
clang::ento::ExplodedNode*) + 178
9  clang++   0x089bb34a
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, clang::ento::ProgramState const*) + 634
10 clang++   0x088badec
11 clang++   0x088bb7b2
12 clang++   0x088bbb63
13 clang++   0x088bbe1c
14 clang++   0x088bc7a1
15 clang++   0x08541d1f clang::ParseAST(clang::Sema&, bool) + 527
16 clang++   0x0829855f clang::ASTFrontendAction::ExecuteAction() + 95
17 clang++   0x08299033 clang::FrontendAction::Execute() + 323
18 clang++   0x0827c53b
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 379
19 clang++   0x08261edc
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1196
20 clang++   0x08255a43 cc1_main(char const**, char const**, char const*,
void*) + 611
21 clang++   0x0825ef62 main + 754
22 libc.so.6 0x00319bb6 __libc_start_main + 230
23 clang++   0x08255651
Stack dump:

no idea what sort of 'terminator' causes it to do this, as the file I'm
compiling is quite long.

-- 
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.