<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 --- - Several crashes inside clang::CFGReverseBlockReachabilityAnalysis::isReachable"
href="http://llvm.org/bugs/show_bug.cgi?id=16817">16817</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Several crashes inside clang::CFGReverseBlockReachabilityAnalysis::isReachable
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>3.3
</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>alexander.mai@msg-gillardon.de
</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>Using scan-build with clang version 3.3 (tags/RELEASE_33/final) on a x64 SLES
system I get a couple of crashes all with the same callstack (see below).
Since it is closed source I cannot simply post the pre-processed sources, but
I'm trying to find one which is suitable for that purpose...
Here's the callstack reported:
0 clang++ 0x0000000001b34065 llvm::sys::PrintStackTrace(_IO_FILE*) +
37
1 clang++ 0x0000000001b34443
2 libpthread.so.0 0x00007f7da06305d0
3 clang++ 0x0000000000f1d092
clang::CFGReverseBlockReachabilityAnalysis::isReachable(clang::CFGBlock const*,
clang::CFGBlock const*) + 18
4 clang++ 0x0000000000c5ee8c
5 clang++ 0x0000000000cf7a4c
clang::ento::CheckerManager::runCheckersForEndAnalysis(clang::ento::ExplodedGraph&,
clang::ento::BugReporter&, clang::ento::ExprEngine&) + 92
6 clang++ 0x0000000000cff52b
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 603
7 clang++ 0x0000000000c2c459
8 clang++ 0x0000000000c2be22
9 clang++ 0x0000000000c28aad
10 clang++ 0x00000000008fdd03 clang::ParseAST(clang::Sema&, bool, bool)
+ 515
11 clang++ 0x0000000000691be7 clang::FrontendAction::Execute() + 87
12 clang++ 0x0000000000672bad
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 845
13 clang++ 0x000000000065ce7d
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 3725
14 clang++ 0x0000000000654181 cc1_main(char const**, char const**, char
const*, void*) + 737
15 clang++ 0x000000000065a423 main + 6979
16 libc.so.6 0x00007f7d9f75cbc6 __libc_start_main + 230
17 clang++ 0x0000000000653dd9
Stack dump:
0. Program arguments: /home/perk/bin/clang++ -cc1 -triple
x86_64-unknown-linux-gnu -analyze -disable-free -disable-llvm-verifier
-main-file-name ProtokollTest.cpp -analyzer-store=region
-analyzer-opt-analyze-nested-blocks -analyzer-eagerly-assume
-analyzer-checker=core -analyzer-checker=unix -analyzer-checker=deadcode
-analyzer-checker=cplusplus
-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 -mdisable-fp-elim -fmath-errno -masm-verbose
-mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-linker-version
11 -resource-dir /home/perk/bin/../lib/clang/3.3 -D _REENTRANT -D TRRP_LIB -D
NDEBUG -D SIMPLE_TEST_FW -D RK_C_API -D MARZ_WEB -D __PASSIV -D
QT_THREAD_SUPPORT -I ../../../../../../boost -I ../../../../../src -I
../../../../../../TestFW/src -I /usr/java/jdk1.6.0_20/include -I
/usr/java/jdk1.6.0_20/include/linux
-I/datafs/intel/composerxe-2011.1.107/mkl/include
-I/datafs/intel/composerxe-2011.1.107/tbb/include -c-isystem /home/perk/include
-c-isystem . -internal-isystem
/usr/lib64/gcc/x86_64-suse-linux/4.3/../../../../include/c++/4.3
-internal-isystem
/usr/lib64/gcc/x86_64-suse-linux/4.3/../../../../include/c++/4.3/x86_64-suse-linux
-internal-isystem
/usr/lib64/gcc/x86_64-suse-linux/4.3/../../../../include/c++/4.3/backward
-internal-isystem
/usr/lib64/gcc/x86_64-suse-linux/4.3/../../../../include/x86_64-suse-linux/c++/4.3
-internal-isystem /usr/local/include -internal-isystem
/home/perk/bin/../lib/clang/3.3/include -internal-externc-isystem /include
-internal-externc-isystem /usr/include -Wno-comment -Wno-unused-value
-fdeprecated-macro -fdebug-compilation-dir
/datafs/MRK/mrk-clang++/workspace/MRK/build/linux/clang++/MRK/marz-web
-ferror-limit 19 -fmessage-length 0 -mstackrealign -fobjc-runtime=gcc
-fobjc-default-synthesize-properties -fcxx-exceptions -fexceptions
-fdiagnostics-show-option -backend-option -vectorize-loops
-analyzer-disable-checker deadcode.DeadStores -analyzer-checker
alpha.core.BoolAssignment -analyzer-checker alpha.core.CastSize
-analyzer-checker alpha.core.CastToStruct -analyzer-checker
alpha.core.FixedAddr -analyzer-checker alpha.core.PointerArithm
-analyzer-checker alpha.core.PointerSub -analyzer-checker alpha.core.SizeofPtr
-analyzer-checker alpha.cplusplus.NewDeleteLeaks -analyzer-checker
alpha.cplusplus.VirtualCall -analyzer-checker
alpha.deadcode.IdempotentOperations -analyzer-checker
alpha.security.ArrayBoundV2 -analyzer-checker alpha.security.MallocOverflow
-analyzer-checker alpha.security.ReturnPtrRange -analyzer-checker
alpha.unix.SimpleStream -analyzer-checker alpha.unix.Stream -analyzer-checker
alpha.unix.cstring.BufferOverlap -analyzer-checker
alpha.unix.cstring.NotNullTerminated -analyzer-checker
alpha.unix.cstring.OutOfBounds -analyzer-checker security.FloatLoopCounter
-analyzer-checker security.insecureAPI.rand -analyzer-checker
security.insecureAPI.strcpy -analyzer-opt-analyze-headers -analyzer-output=html
-o
/datafs/MRK/mrk-clang++/workspace/MRK/build/linux/clang++/MRK/marz-web/scan-build-results/2013-08-06-2
-x c++
/datafs/MRK/mrk-clang++/workspace/MRK/src/Test/MRK/Protokolle/ProtokollTest.cpp
1. <eof> parser at end of file</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>