<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 --- - Exception handling crashes"
href="http://llvm.org/bugs/show_bug.cgi?id=18189">18189</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Exception handling crashes
</td>
</tr>
<tr>
<th>Product</th>
<td>tools
</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>analyze
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>wsleemaniv@mcvh-vcu.edu
</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>Running the analyze tools through the scan-build program generates output like
this:
ibtool: compile:
/home/fsleeman/Downloads/clang/llvm/tools/clang/tools/scan-build/c++-analyzer
-DHAVE_CONFIG_H -I. -I.. -I../dal/include -I../include -I../util/include
-I../dil/include -I../filter/include -g -m64 -MT rcfBitmapImageContainer.lo -MD
-MP -MF .deps/rcfBitmapImageContainer.Tpo -c
../dal/src/rcfBitmapImageContainer.cpp -fPIC -DPIC -o
.libs/rcfBitmapImageContainer.o
0 clang++ 0x000000000314c616 llvm::sys::PrintStackTrace(_IO_FILE*) +
38
1 clang++ 0x000000000314c893
2 clang++ 0x000000000314c2e9
3 libpthread.so.0 0x00002b870d623bb0
4 clang++ 0x0000000000d14d18
5 clang++ 0x0000000001f33a9c clang::Stmt::getLocStart() const + 24
6 clang++ 0x0000000001861f70
7 clang++ 0x00000000018623dc
clang::ento::PathDiagnosticLocation::createBegin(clang::Stmt const*,
clang::SourceManager const&, llvm::PointerUnion<clang::LocationContext const*,
clang::AnalysisDeclContext*>) + 48
8 clang++ 0x000000000177db22
9 clang++ 0x000000000177df67
10 clang++ 0x00000000017ff469
11 clang++ 0x00000000017facc7
clang::ento::CheckerManager::runCheckersForEndAnalysis(clang::ento::ExplodedGraph&,
clang::ento::BugReporter&, clang::ento::ExprEngine&) + 99
12 clang++ 0x0000000001822aea
clang::ento::ExprEngine::processEndWorklist(bool) + 72
13 clang++ 0x000000000181276d
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 935
14 clang++ 0x00000000016321ee
15 clang++ 0x000000000160add4
16 clang++ 0x000000000160aef4
17 clang++ 0x000000000160abca
18 clang++ 0x000000000160a2ef
19 clang++ 0x000000000160a635
20 clang++ 0x00000000010dab1e clang::ParseAST(clang::Sema&, bool, bool)
+ 780
21 clang++ 0x0000000000c94f6a clang::ASTFrontendAction::ExecuteAction()
+ 322
22 clang++ 0x0000000000c94aad clang::FrontendAction::Execute() + 205
23 clang++ 0x0000000000c67c1a
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 720
24 clang++ 0x0000000000c3732a
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1026
25 clang++ 0x0000000000c2886f cc1_main(char const**, char const**, char
const*, void*) + 717
26 clang++ 0x0000000000c32bc3 main + 785
27 libc.so.6 0x00002b870e274de5 __libc_start_main + 245
28 clang++ 0x0000000000c27f79
Stack dump:
0. Program arguments: /usr/local/bin/clang++ -cc1 -triple
x86_64-unknown-linux-gnu -analyze -disable-free -main-file-name
rcfBitmapImageContainer.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 pic -pic-level 2 -mdisable-fp-elim -fmath-errno
-masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array
-target-cpu x86-64 -target-linker-version 2.23.52.20130913 -resource-dir
/usr/local/bin/../lib/clang/3.5 -D HAVE_CONFIG_H -D PIC -I . -I .. -I
../dal/include -I ../include -I ../util/include -I ../dil/include -I
../filter/include -internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8 -internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/x86_64-linux-gnu
-internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/backward
-internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/x86_64-linux-gnu/c++/4.8
-internal-isystem /usr/local/include -internal-isystem
/usr/local/bin/../lib/clang/3.5/include -internal-externc-isystem
/usr/include/x86_64-linux-gnu -internal-externc-isystem /include
-internal-externc-isystem /usr/include -fdeprecated-macro
-fdebug-compilation-dir /rdoppg/dvfTmp/fsleeman/clangTests/rcf2013/lib
-ferror-limit 19 -fmessage-length 0 -mstackrealign -fobjc-runtime=gcc
-fcxx-exceptions -fexceptions -fdiagnostics-show-option -vectorize-slp
-analyzer-opt-analyze-headers -analyzer-checker=debug.Stats
-analyzer-output=html -o
/home/fsleeman/rcf2013/results/2013-11-22-111838-11071-1 -x c++
../dal/src/rcfBitmapImageContainer.cpp
1. <eof> parser at end of file
These errors appear to be related to classes using exception handling. I am
using a class inherited from std::exception for simple error message printing.
I am using this command to compile and analyze:
scan-build --use-analyzer /usr/local/bin/clang -analyze-headers -V -stats -o
/rdoppg/dvfTmp/fsleeman/clangTests/results/ make
I am using clang version 3.5 (trunk 195266) on Ubuntu 13.10. It appears that
the errors only occur when I use the -analyze-headers option. I am using some
templated classes with implementation in the headers so I was assuming I need
to analyze the headers as well.
Attached is a preprocessed file that causes errors.</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>