[LLVMbugs] [Bug 13569] New: Clang crashes analyzing Yate

[bugzilla-daemon at llvm.org]

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

             Bug #: 13569
           Summary: Clang crashes analyzing Yate
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: ojab at ojab.ru
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 9027
  --> http://llvm.org/bugs/attachment.cgi?id=9027
Proprocessed file

clang version 3.2 (trunk 161651)
Target: x86_64-unknown-linux-gnu
Thread model: posix

Build with
cmake ../llvm -DCMAKE_INSTALL_PREFIX=/usr -DLLVM_APPEND_VC_REV=ON
-DLLVM_TARGETS_TO_BUILD=X86 -DBUILD_SHARED_LIBS=ON -DCMAKE_BUILD_TYPE=Debug

clang++: /sources/llvm/tools/clang/include/clang/AST/RecordLayout.h:199:
clang::CharUnits clang::ASTRecordLayout::getBaseClassOffset(const
clang::CXXRecordDecl*) const: Assertion `CXXInfo->BaseOffsets.count(Base) &&
"Did not find base!"' failed.
Stack dump:
0.    Program arguments: /usr/bin/clang++ -cc1 -triple x86_64-unknown-linux-gnu
-analyze -disable-free -main-file-name Socket.cpp -analyzer-store=region
-analyzer-opt-analyze-nested-blocks -analyzer-eagerly-assume
-analyzer-ipa=inlining -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 -mdisable-fp-elim -fmath-errno -masm-verbose
-mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64
-momit-leaf-frame-pointer -resource-dir /usr/bin/../lib/clang/3.2 -D
HAVE_GCC_FORMAT_CHECK -D HAVE_BLOCK_RETURN -D HAVE_POLL -D FDSIZE_HACK=8192 -D
HAVE_NTOP -D HAVE_PTON -D HAVE_GHBN_R -I .. -I .. -fmodule-cache-path
/var/tmp/clang-module-cache -internal-isystem
/usr/lib64/gcc/x86_64-unknown-linux-gnu/4.7.1/../../../../include/c++/4.7.1
-internal-isystem
/usr/lib64/gcc/x86_64-unknown-linux-gnu/4.7.1/../../../../include/c++/4.7.1/x86_64-unknown-linux-gnu
-internal-isystem
/usr/lib64/gcc/x86_64-unknown-linux-gnu/4.7.1/../../../../include/c++/4.7.1/backward
-internal-isystem /usr/local/include -internal-isystem
/usr/bin/../lib/clang/3.2/include -internal-externc-isystem /include
-internal-externc-isystem /usr/include -fdeprecated-macro
-fdebug-compilation-dir /sources/yate -ferror-limit 19 -fmessage-length 0
-mstackrealign -fobjc-runtime=gcc -fcxx-exceptions -fexceptions
-fdiagnostics-show-option -analyzer-output=html -o /tmp/scan-build-2012-08-10-2
-x c++ Socket.cpp 
1.    <eof> parser at end of file
2.    Socket.cpp:645:5: Error evaluating statement
3.    Socket.cpp:645:5: Error evaluating statement

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.