[LLVMbugs] [Bug 14400] New: Crash in analyzer on simple testcase

[bugzilla-daemon at llvm.org]

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

             Bug #: 14400
           Summary: Crash in analyzer on simple testcase
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: markus at trippelsdorf.de
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


markus at x4 failures % cat test.ii
void
print_loop (int p1)
{
    __builtin_alloca (p1);
    print_loop (1);
    print_loop (0);
}

markus at x4 failures % clang++ -cc1 -analyze -analyzer-checker=core test.ii
0  clang++         0x0000000000c3e3a2
1  clang++         0x0000000000c3e723
2  libpthread.so.0 0x00007f350bbdf220
3  clang++         0x0000000001456eaa
clang::ento::ProgramState::BindExpr(clang::Stmt const*, clang::LocationContext
const*, clang::ento::SVal, bool) const + 26
4  clang++         0x00000000013f0d46
5  clang++         0x0000000001422f17
clang::ento::CheckerManager::runCheckersForEvalCall(clang::ento::ExplodedNodeSet&,
clang::ento::ExplodedNodeSet const&, clang::ento::CallEvent const&,
clang::ento::ExprEngine&) + 567
6  clang++         0x000000000143f915
clang::ento::ExprEngine::evalCall(clang::ento::ExplodedNodeSet&,
clang::ento::ExplodedNode*, clang::ento::CallEvent const&) + 581
7  clang++         0x000000000143f613
clang::ento::ExprEngine::VisitCallExpr(clang::CallExpr const*,
clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) + 755
8  clang++         0x000000000143150c
clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*,
clang::ento::ExplodedNodeSet&) + 10108
9  clang++         0x000000000142dc73
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt,
clang::ento::ExplodedNode*) + 931
10 clang++         0x000000000142d8c1
clang::ento::ExprEngine::processCFGElement(clang::CFGElement,
clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) +
97
11 clang++         0x0000000001426e81
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*,
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 433
12 clang++         0x0000000001426a9f
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 559
13 clang++         0x00000000013708fb
14 clang++         0x00000000013701ce
15 clang++         0x000000000136d0d9
16 clang++         0x0000000000e5d513 clang::ParseAST(clang::Sema&, bool, bool)
+ 531
17 clang++         0x0000000000dd2ca3 clang::FrontendAction::Execute() + 83
18 clang++         0x0000000000db816d
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 845
19 clang++         0x0000000000c40d71
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 3665
20 clang++         0x00000000005c6f3d cc1_main(char const**, char const**, char
const*, void*) + 621
21 clang++         0x00000000005c3d3c main + 2988
22 libc.so.6       0x00007f350b5fd895 __libc_start_main + 245
23 clang++         0x00000000005c3079
Stack dump:
0.      Program arguments: clang++ -cc1 -analyze -analyzer-checker=core test.ii 
1.      <eof> parser at end of file
2.      test.ii:4:5: Error evaluating statement
3.      test.ii:4:5: Error evaluating statement
[1]    22875 segmentation fault  clang++ -cc1 -analyze -analyzer-checker=core
test.ii
markus at x4 failures %

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