[LLVMbugs] [Bug 12872] New: clang++ crash
bugzilla-daemon at llvm.org
bugzilla-daemon at llvm.org
Fri May 18 08:28:58 PDT 2012
http://llvm.org/bugs/show_bug.cgi?id=12872
Bug #: 12872
Summary: clang++ crash
Product: clang
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Static Analyzer
AssignedTo: kremenek at apple.com
ReportedBy: gartung at fnal.gov
CC: llvmbugs at cs.uiuc.edu
Classification: Unclassified
Created attachment 8583
--> http://llvm.org/bugs/attachment.cgi?id=8583
scan-build report
/storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/src/FastSimulation/L1CaloTriggerProducer/src/FastL1GlobalAlgo.cc:429:2:
warning: Value stored to 'e' is never read
e += candidate->hadEnergy();
^ ~~~~~~~~~~~~~~~~~~~~~~
/storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/src/FastSimulation/L1CaloTriggerProducer/src/FastL1GlobalAlgo.cc:431:2:
warning: Value stored to 'had_e' is never read
had_e += candidate->hadEnergy();
^ ~~~~~~~~~~~~~~~~~~~~~~
clang++:
/storage/local/data1/cms_admin/llvm/tools/clang/lib/StaticAnalyzer/Checkers/../../../include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h:127:
const llvm::APSInt&
clang::ento::BasicValueFactory::getMaxValue(clang::QualType): Assertion
`T->isIntegerType() || Loc::isLocType(T)' failed.
0 libLLVM-3.2svn.so 0x00002b8f4222bb4e
1 libLLVM-3.2svn.so 0x00002b8f4222c0dc
2 libpthread.so.0 0x000000325260ebe0
3 libc.so.6 0x0000003251a30265 gsignal + 53
4 libc.so.6 0x0000003251a31d10 abort + 272
5 libc.so.6 0x0000003251a296e6 __assert_fail + 246
6 clang++ 0x0000000000eb595e
7 clang++ 0x0000000000f66971
8 clang++ 0x0000000000f6896a
9 clang++ 0x0000000000f7de6b
clang::ento::SimpleConstraintManager::assumeAuxForSymbol(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::SymExpr const*, bool) + 179
10 clang++ 0x0000000000f7e265
clang::ento::SimpleConstraintManager::assumeAux(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::NonLoc, bool) + 211
11 clang++ 0x0000000000f7e6cf
clang::ento::SimpleConstraintManager::assume(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::NonLoc, bool) + 107
12 clang++ 0x0000000000f7e8ec
clang::ento::SimpleConstraintManager::assume(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::DefinedSVal, bool) + 116
13 clang++ 0x0000000000e34c47
14 clang++ 0x0000000000f26ca7
clang::ento::ExprEngine::processBranch(clang::Stmt const*, clang::Stmt const*,
clang::ento::NodeBuilderContext&, clang::ento::ExplodedNode*,
clang::ento::ExplodedNodeSet&, clang::CFGBlock const*, clang::CFGBlock const*)
+ 1269
15 clang++ 0x0000000000f13398
clang::ento::CoreEngine::HandleBranch(clang::Stmt const*, clang::Stmt const*,
clang::CFGBlock const*, clang::ento::ExplodedNode*) + 264
16 clang++ 0x0000000000f136f9
clang::ento::CoreEngine::HandleBlockExit(clang::CFGBlock const*,
clang::ento::ExplodedNode*) + 821
17 clang++ 0x0000000000f139b4
clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int,
clang::ento::ExplodedNode*) + 142
18 clang++ 0x0000000000f140e1
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*,
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 733
19 clang++ 0x0000000000f14409
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 797
20 clang++ 0x0000000000def830
21 clang++ 0x0000000000dcc7e1
22 clang++ 0x0000000000dcc8cb
23 clang++ 0x0000000000dccb2e
24 clang++ 0x0000000000dccf27
25 clang++ 0x0000000000dcdd7d
26 clang++ 0x00000000009ad284 clang::ParseAST(clang::Sema&, bool,
bool) + 576
27 clang++ 0x000000000069cf75
clang::ASTFrontendAction::ExecuteAction() + 265
28 clang++ 0x000000000069d27f clang::FrontendAction::Execute() + 207
29 clang++ 0x0000000000679757
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 639
30 clang++ 0x000000000064ef16
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 870
31 clang++ 0x000000000063e9c7 cc1_main(char const**, char const**,
char const*, void*) + 909
32 clang++ 0x000000000064ab30 main + 434
33 libc.so.6 0x0000003251a1d994 __libc_start_main + 244
34 clang++ 0x000000000063dd39
Stack dump:
0. Program arguments:
/storage/local/data1/cms_admin/clang-build/Debug+Asserts/bin/clang++ -cc1
-triple x86_64-unknown-linux-gnu -analyze -disable-free -main-file-name
FastL1GlobalAlgo.cc -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 -target-cpu x86-64 -target-linker-version
2.17.50.0.6 -momit-leaf-frame-pointer -resource-dir
/storage/local/data1/cms_admin/clang-build/Debug+Asserts/bin/../lib/clang/3.2
-D GNU_GCC -D _GNU_SOURCE -D PROJECT_NAME=CMSSW -D
PROJECT_VERSION=CMSSW_6_0_X_2012-05-11-1400 -I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/gcc/4.7.0/include/c++/4.7.0
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/gcc/4.7.0/include/c++/4.7.0/x86_64-unknown-linux-gnu
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/gcc/4.7.0/include/c++/4.7.0/backward
-I /storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/src -I
/storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/include/LCG -I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/cms/cmssw/CMSSW_6_0_X_2012-05-11-1400/src
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/cms/cmssw/CMSSW_6_0_X_2012-05-11-1400/include/LCG
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/boost/1.49.0/include
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/python/2.6.4/include/python2.6
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/uuid/1.38/include
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/lcg/root/5.32.00-cms5/cint
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/clhep/2.0.4.6-cms/include
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/gsl/1.10/include
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/pcre/7.9-cms/include
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/sigcpp/2.2.10-cms/include/sigc++-2.0
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/zlib/1.2.3/include
-I
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/lcg/root/5.32.00-cms5/include
-fmodule-cache-path /var/tmp/clang-module-cache -internal-isystem
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/gcc/4.7.0/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/../../../../include/c++/4.7.0
-internal-isystem
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/gcc/4.7.0/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/../../../../include/c++/4.7.0/x86_64-unknown-linux-gnu
-internal-isystem
/storage/local/data1/cms_admin/build/slc5_amd64_gcc470/external/gcc/4.7.0/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/../../../../include/c++/4.7.0/backward
-internal-isystem /usr/local/include -internal-isystem
/storage/local/data1/cms_admin/clang-build/Debug+Asserts/bin/../lib/clang/3.2/include
-internal-externc-isystem /include -internal-externc-isystem /usr/include
-Wno-long-long -Wno-deprecated -std=c++11 -fdebug-compilation-dir
/uscms/home/cms_admin/data1/CMSSW_6_0_X_2012-05-11-1400 -ferror-limit 19
-fmessage-length 0 -mstackrealign -fgnu-runtime -fobjc-runtime-has-arc
-fobjc-runtime-has-weak -fobjc-fragile-abi -fcxx-exceptions -fexceptions
-fdiagnostics-show-option -analyzer-output=html -o /tmp/scan-build-2012-05-18-4
-x c++
/storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/src/FastSimulation/L1CaloTriggerProducer/src/FastL1GlobalAlgo.cc
1. <eof> parser at end of file
2.
/storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/src/FastSimulation/L1CaloTriggerProducer/src/FastL1GlobalAlgo.cc:960:7:
Error evaluating branch
--
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.
More information about the llvm-bugs
mailing list