<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - Crash of the clang analyzer (clang::CFGReverseBlockReachabilityAnalysis::isReachable)"
href="http://llvm.org/bugs/show_bug.cgi?id=18111">18111</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Crash of the clang analyzer (clang::CFGReverseBlockReachabilityAnalysis::isReachable)
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Static Analyzer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>kremenek@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>fleury@labri.fr
</td>
</tr>
<tr>
<th>CC</th>
<td>llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=11643" name="attach_11643" title="Source file">attachment 11643</a> <a href="attachment.cgi?id=11643&action=edit" title="Source file">[details]</a></span>
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.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>