[LLVMbugs] [Bug 18111] New: Crash of the clang analyzer (clang::CFGReverseBlockReachabilityAnalysis::isReachable)

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18111
           Summary: Crash of the clang analyzer
                    (clang::CFGReverseBlockReachabilityAnalysis::isReachab
                    le)
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: fleury at labri.fr
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 11643
  --> http://llvm.org/bugs/attachment.cgi?id=11643&action=edit
Source file

I am using llvm-3.5 on a Debian unstable, I was running a static analysis on
the student code and I got this crash:

0  libLLVM-3.5.so.1 0x00002b6444efa212 llvm::sys::PrintStackTrace(_IO_FILE*) +
34
1  libLLVM-3.5.so.1 0x00002b6444ef9ffc
2  libpthread.so.0  0x00002b64459b7210
3  clang            0x0000000000f7069a
clang::CFGReverseBlockReachabilityAnalysis::isReachable(clang::CFGBlock const*,
clang::CFGBlock const*) + 26
4  clang            0x0000000000cd9cac
5  clang            0x0000000000deca46
clang::ento::CheckerManager::runCheckersForEndAnalysis(clang::ento::ExplodedGraph&,
clang::ento::BugReporter&, clang::ento::ExprEngine&) + 102
6  clang            0x0000000000df5ef5
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 213
7  clang            0x0000000000ca718c
8  clang            0x0000000000ca7add
9  clang            0x0000000000cadf2b
10 clang            0x000000000091a29b clang::ParseAST(clang::Sema&, bool,
bool) + 507
11 clang            0x000000000066fce9 clang::FrontendAction::Execute() + 169
12 clang            0x00000000006507c5
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 293
13 clang            0x000000000063b7e6
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1638
14 clang            0x00000000006375f8 cc1_main(char const**, char const**,
char const*, void*) + 1144
15 clang            0x0000000000635d5f main + 7247
16 libc.so.6        0x00002b6446a31995 __libc_start_main + 245
17 clang            0x000000000063668f
Stack dump:
0.    Program arguments: /usr/bin/clang -cc1 -triple x86_64-pc-linux-gnu
-analyze -disable-free -disable-llvm-verifier -main-file-name sudoku.c
-analyzer-store=region -analyzer-opt-analyze-nested-blocks
-analyzer-eagerly-assume -analyzer-checker=core -analyzer-checker=unix
-analyzer-checker=deadcode
-analyzer-checker=security.insecureAPI.UncheckedReturn
-analyzer-checker=security.insecureAPI.getpw
-analyzer-checker=security.insecureAPI.gets
-analyzer-checker=security.insecureAPI.mktemp
-analyzer-checker=security.insecureAPI.mkstemp
-analyzer-checker=security.insecureAPI.vfork -analyzer-output plist -w
-mrelocation-model static -fmath-errno -masm-verbose -mconstructor-aliases
-munwind-tables -fuse-init-array -target-cpu x86-64 -target-linker-version
2.23.90.20131116 -momit-leaf-frame-pointer -resource-dir
/usr/bin/../lib/clang/3.5 -D DEBUG -I ../include -internal-isystem
/usr/local/include -internal-isystem /usr/bin/../lib/clang/3.5/include
-internal-isystem /usr/include/clang/3.5/include/ -internal-externc-isystem
/usr/include/x86_64-linux-gnu -internal-externc-isystem
/usr/include/x86_64-linux-gnu -internal-externc-isystem /usr/include -O2
-std=c99 -fdebug-compilation-dir /sudoku/src -ferror-limit 19 -fmessage-length
0 -mstackrealign -fobjc-runtime=gcc -fdiagnostics-show-option -vectorize-loops
-vectorize-slp -analyzer-checker alpha -analyzer-disable-checker alpha.osx
-analyzer-output=html -o /clang-analyzer/2013-11-28-185330-1491-1 -x c sudoku.c 
1.    <eof> parser at end of file

I noticed also the bug on 3.4 static-analyzer. Feel free to ask for more
details.

-- 
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/20131202/93a8e2a9/attachment.html>