[LLVMbugs] [Bug 16817] New: Several crashes inside clang::CFGReverseBlockReachabilityAnalysis::isReachable

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16817
           Summary: Several crashes inside
                    clang::CFGReverseBlockReachabilityAnalysis::isReachabl
                    e
           Product: clang
           Version: 3.3
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: alexander.mai at msg-gillardon.de
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

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

-- 
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/20130807/e6c70cf4/attachment.html>