[LLVMbugs] [Bug 15342] New: Assertion `op == BO_Add' failed

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Sat Feb 23 17:02:47 PST 2013 

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

            Bug ID: 15342
           Summary: Assertion `op == BO_Add' failed
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: sami.liedes at iki.fi
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10062
  --> http://llvm.org/bugs/attachment.cgi?id=10062&action=edit
clang_crash_1JmMJW.ii.gz

When running on the attached preprocessed source, clang static analyzer crashed
as follows:

clang++:
/home/sliedes/projects/llvm/llvm.src/tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:270:
clang::ento::SVal
clang::ento::SValBuilder::evalBinOp(clang::ento::ProgramStateRef,
clang::BinaryOperator::Opcode, clang::ento::SVal, clang::ento::SVal,
clang::QualType): Assertion `op == BO_Add' failed.
0  clang++         0x00000000013165f2 llvm::sys::PrintStackTrace(_IO_FILE*) +
34
1  clang++         0x0000000001316311
2  libpthread.so.0 0x00002aeaeccf2030
3  libc.so.6       0x00002aeaed6d1475 gsignal + 53
4  libc.so.6       0x00002aeaed6d46f0 abort + 384
5  libc.so.6       0x00002aeaed6ca621 __assert_fail + 241
6  clang++         0x0000000001dc7f68
7  clang++         0x0000000001d74afc
clang::ento::ExprEngine::VisitBinaryOperator(clang::BinaryOperator const*,
clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) + 3900
8  clang++         0x0000000001d6aa44
clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*,
clang::ento::ExplodedNodeSet&) + 7188
9  clang++         0x0000000001d6c04d
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt,
clang::ento::ExplodedNode*) + 749
10 clang++         0x0000000001d6c31e
clang::ento::ExprEngine::processCFGElement(clang::CFGElement,
clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) +
206
11 clang++         0x0000000001d516f0
clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int,
clang::ento::ExplodedNode*) + 128
12 clang++         0x0000000001d52b97
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*,
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 311
13 clang++         0x0000000001d52e7a
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 266
14 clang++         0x0000000001be1500
15 clang++         0x0000000001be2547
16 clang++         0x0000000001beece5
17 clang++         0x00000000015cbaea clang::ParseAST(clang::Sema&, bool, bool)
+ 538
18 clang++         0x00000000015078c9 clang::FrontendAction::Execute() + 265
19 clang++         0x00000000014ec13a
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 346
20 clang++         0x0000000001319442
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1730
21 clang++         0x0000000000677438 cc1_main(char const**, char const**, char
const*, void*) + 1144
22 clang++         0x00000000006761a0 main + 7728
23 libc.so.6       0x00002aeaed6bdead __libc_start_main + 253
24 clang++         0x0000000000672f29
Stack dump:
0.    Program arguments: /home/sliedes/scratch/llvm-trunk-rel/bin/clang++ -cc1
-triple x86_64-unknown-linux-gnu -analyze -disable-free -main-file-name
coreconnection.cpp -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 -mdisable-fp-elim -fmath-errno -masm-verbose
-mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64
-momit-leaf-frame-pointer -resource-dir
/home/sliedes/scratch/llvm-trunk-rel/bin/../lib/clang/3.3 -D NDEBUG -D
QT_NO_DEBUG -D HAVE_EXECINFO -D QT_CORE_LIB -D HAVE_SSL -D HAVE_DBUS -D
HAVE_DBUSMENU -D HAVE_WEBKIT -D _BSD_SOURCE -D HAVE_KDE -D _XOPEN_SOURCE=500 -D
_BSD_SOURCE -D QT_NO_STL -D QT_NO_CAST_TO_ASCII -D _REENTRANT -D
KDE_DEPRECATED_WARNINGS -D KDE4_CMAKE_TOPLEVEL_DIR_LENGTH=25 -D HAVE_INDICATEQT
-D HAVE_QCA2 -D HAVE_SYSLOG -D HAVE_UMASK -D QT_DBUS_LIB -D QT_NETWORK_LIB -D
QT_CORE_LIB -D QT_NO_EXCEPTIONS -D _GNU_SOURCE -D _LARGEFILE64_SOURCE -D
XDG_APPS_INSTALL_DIR=/usr/share/applications/kde4 -I
/home/sliedes/scratch/rec/quassel-0.8.0/src/core -I
/home/sliedes/scratch/rec/quassel-0.8.0/src/common -I /usr/include/qt4 -I
/usr/include/qt4/QtCore -I /usr/include/qt4/phonon -I
/usr/include/qt4/QtXmlPatterns -I /usr/include/qt4/QtXml -I
/usr/include/qt4/QtWebKit -I /usr/include/qt4/QtUiTools -I
/usr/include/qt4/QtTest -I /usr/include/qt4/QtSvg -I /usr/include/qt4/QtSql -I
/usr/include/qt4/QtScriptTools -I /usr/include/qt4/QtScript -I
/usr/include/qt4/QtNetwork -I /usr/include/qt4/QtHelp -I
/usr/include/qt4/QtDesigner -I /usr/include/qt4/QtDeclarative -I
/usr/include/qt4/QtDBus -I /usr/include/qt4/Qt3Support -I
/usr/include/qt4/QtGui -I /usr/include/qt4/Qt -I /usr/share/qt4/mkspecs/default
-I /usr/include/dbusmenu-qt -I /usr/include/KDE -internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7 -internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/x86_64-linux-gnu
-internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/backward
-internal-isystem /usr/local/include -internal-isystem
/home/sliedes/scratch/llvm-trunk-rel/bin/../lib/clang/3.3/include
-internal-externc-isystem /usr/include/x86_64-linux-gnu
-internal-externc-isystem /include -internal-externc-isystem /usr/include
-Wno-long-long -fdeprecated-macro -fdebug-compilation-dir
/home/sliedes/scratch/rec/quassel-0.8.0/obj--kde4/src/client -ferror-limit 19
-fmessage-length 0 -mstackrealign -fobjc-runtime=gcc -fcxx-exceptions
-fexceptions -fdiagnostics-show-option -backend-option -vectorize-loops
-analyzer-output=html -o /tmp/scan-build-2013-02-24-2 -x c++
/home/sliedes/scratch/rec/quassel-0.8.0/src/client/coreconnection.cpp 
1.    <eof> parser at end of file
2.    /usr/include/qt4/QtCore/qhash.h:225:72: Error evaluating statement
3.    /usr/include/qt4/QtCore/qhash.h:225:72: Error evaluating statement

-- 
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/20130224/030486a7/attachment.html>

More information about the llvm-bugs mailing list