[LLVMbugs] [Bug 11611] New: crash evaluating statement on function prototype

[bugzilla-daemon at llvm.org]

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

             Bug #: 11611
           Summary: crash evaluating statement on function prototype
           Product: clang
           Version: 2.9
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: davidv1992 at msn.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 7757
  --> http://llvm.org/bugs/attachment.cgi?id=7757
preprocessed file produced by scan-build crash overview

crash during analyzing of home-made kernel, whilst analyzing interrupt
handling. Crash is whilst evaluating long list of function prototypes.

Crash remains unaffected when rerunning scan-build

Stderr output:
ANALYZE: scaffold/test/interrupts/core.c test1_handler
ANALYZE: scaffold/test/interrupts/core.c test_interrupts_core_1
0  libLLVM-2.9.so.1 0x00002b34fabcecaf
1  libLLVM-2.9.so.1 0x00002b34fabcf271
2  libpthread.so.0  0x00002b34fb42c060
3  clang            0x0000000000a6e170
clang::ento::SimpleConstraintManager::assumeAux(clang::ento::GRState const*,
clang::ento::Loc, bool) + 192
4  clang            0x0000000000a6e25a
clang::ento::SimpleConstraintManager::assume(clang::ento::GRState const*,
clang::ento::Loc, bool) + 58
5  clang            0x0000000000a6ee60
clang::ento::SimpleConstraintManager::assume(clang::ento::GRState const*,
clang::ento::DefinedSVal, bool) + 48
6  clang            0x0000000000962591
7  clang            0x000000000096346f
8  clang            0x0000000000a09f13
clang::ento::CheckerManager::runCheckersForLocation(clang::ento::ExplodedNodeSet&,
clang::ento::ExplodedNodeSet const&, clang::ento::SVal, bool, clang::Stmt
const*, clang::ento::ExprEngine&) + 819
9  clang            0x0000000000a2359c
clang::ento::ExprEngine::evalLocation(clang::ento::ExplodedNodeSet&,
clang::Stmt const*, clang::ento::ExplodedNode*, clang::ento::GRState const*,
clang::ento::SVal, void const*, bool) + 332
10 clang            0x0000000000a25a22
clang::ento::ExprEngine::evalStore(clang::ento::ExplodedNodeSet&, clang::Expr
const*, clang::Expr const*, clang::ento::ExplodedNode*, clang::ento::GRState
const*, clang::ento::SVal, clang::ento::SVal, void const*) + 290
11 clang            0x0000000000a286d4
clang::ento::ExprEngine::VisitBinaryOperator(clang::BinaryOperator const*,
clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) + 3332
12 clang            0x0000000000a26ab1
clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*,
clang::ento::ExplodedNodeSet&) + 513
13 clang            0x0000000000a2e4b6
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt,
clang::ento::StmtNodeBuilder&) + 982
14 clang            0x0000000000a2e8ca
clang::ento::ExprEngine::processCFGElement(clang::CFGElement,
clang::ento::StmtNodeBuilder&) + 186
15 clang            0x0000000000a0fe85
clang::ento::CoreEngine::HandleBlockEntrance(clang::BlockEntrance const&,
clang::ento::ExplodedNode*) + 261
16 clang            0x0000000000a10b53
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, clang::ento::GRState const*) + 515
17 clang            0x0000000000959176
18 clang            0x0000000000959974
19 clang            0x0000000000959db2
20 clang            0x000000000095a676
21 clang            0x000000000070b7cb clang::ParseAST(clang::Sema&, bool) +
251
22 clang            0x0000000000534aeb
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 283
23 clang            0x000000000051aa3b
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 971
24 clang            0x0000000000512ef7 cc1_main(char const**, char const**,
char const*, void*) + 727
25 clang            0x0000000000511a7a main + 634
26 libc.so.6        0x00002b34fbb7830d __libc_start_main + 237
27 clang            0x0000000000512ac5
Stack dump:
0.    Program arguments: /usr/bin/clang -cc1 -triple i386-pc-linux-gnu -analyze
-disable-free -disable-llvm-verifier -main-file-name core.c
-analyzer-store=region -analyzer-opt-analyze-nested-blocks
-analyzer-checker=core -analyzer-checker=unix -analyzer-checker=DeadStores
-analyzer-eagerly-assume -analyzer-output plist -w -mrelocation-model static
-mdisable-fp-elim -masm-verbose -mconstructor-aliases -target-cpu pentium4
-target-linker-version 2.21.53.20110810 -momit-leaf-frame-pointer -resource-dir
/usr/bin/../lib/clang/2.9 -I ./include/ -std=c99 -ferror-limit 19
-fmessage-length 0 -fgnu-runtime -fdiagnostics-show-option
-analyzer-display-progress -analyzer-output=html -o
/tmp/scan-build-2011-12-18-2 -x c scaffold/test/interrupts/core.c 
1.    <eof> parser at end of file
2.    scaffold/test/interrupts/core.c:25:3: Error evaluating statement
3.    scaffold/test/interrupts/core.c:25:3: Error evaluating statement

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