[LLVMbugs] [Bug 12877] New: unprocessed InitListExpr type

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri May 18 08:55:32 PDT 2012


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

             Bug #: 12877
           Summary: unprocessed InitListExpr type
           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 8588
  --> http://llvm.org/bugs/attachment.cgi?id=8588
scan-build report

scan-build: 'clang' executable not found in
'/storage/local/data1/cms_admin/llvm/tools/clang/tools/scan-build/bin'.
scan-build: Using 'clang' from path:
/storage/local/data1/cms_admin/clang-build/Debug+Asserts/bin/clang
unprocessed InitListExpr type
UNREACHABLE executed at
/storage/local/data1/cms_admin/llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp:551!
0  libLLVM-3.2svn.so 0x00002b1a4bac5b4e
1  libLLVM-3.2svn.so 0x00002b1a4bac60dc
2  libpthread.so.0   0x000000325260ebe0
3  libc.so.6         0x0000003251a30265 gsignal + 53
4  libc.so.6         0x0000003251a31d10 abort + 272
5  libLLVM-3.2svn.so 0x00002b1a4baaed46 llvm::report_fatal_error(llvm::Twine
const&) + 0
6  clang++           0x0000000000f369e2
clang::ento::ExprEngine::VisitInitListExpr(clang::InitListExpr const*,
clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) + 1300
7  clang++           0x0000000000f28889
clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*,
clang::ento::ExplodedNodeSet&) + 5027
8  clang++           0x0000000000f2a237
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt,
clang::ento::ExplodedNode*) + 475
9  clang++           0x0000000000f2a3d8
clang::ento::ExprEngine::processCFGElement(clang::CFGElement,
clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) +
196
10 clang++           0x0000000000f13a28
clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int,
clang::ento::ExplodedNode*) + 258
11 clang++           0x0000000000f140e1
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*,
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 733
12 clang++           0x0000000000f14409
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 797
13 clang++           0x0000000000def830
14 clang++           0x0000000000dcc7e1
15 clang++           0x0000000000dcc8cb
16 clang++           0x0000000000dccb2e
17 clang++           0x0000000000dccf27
18 clang++           0x0000000000dcdd7d
19 clang++           0x00000000009ad284 clang::ParseAST(clang::Sema&, bool,
bool) + 576
20 clang++           0x000000000069cf75
clang::ASTFrontendAction::ExecuteAction() + 265
21 clang++           0x000000000069d27f clang::FrontendAction::Execute() + 207
22 clang++           0x0000000000679757
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 639
23 clang++           0x000000000064ef16
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 870
24 clang++           0x000000000063e9c7 cc1_main(char const**, char const**,
char const*, void*) + 909
25 clang++           0x000000000064ab30 main + 434
26 libc.so.6         0x0000003251a1d994 __libc_start_main + 244
27 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
SiStripTemplateReco.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/cms/coral/CORAL_2_3_21-cms7/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/xerces-c/2.8.0/include
-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-9
-x c++
/storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/src/RecoLocalTracker/SiStripRecHitConverter/src/SiStripTemplateReco.cc 
1.    <eof> parser at end of file
2.   
/storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/src/RecoLocalTracker/SiStripRecHitConverter/src/SiStripTemplateReco.cc:104:22:
Error evaluating statement
3.   
/storage/local/data1/cms_admin/CMSSW_6_0_X_2012-05-11-1400/src/RecoLocalTracker/SiStripRecHitConverter/src/SiStripTemplateReco.cc:104:22:
Error evaluating statement
scan-build: 0 bugs found.
scan-build: The analyzer encountered problems on some source files.
scan-build: Preprocessed versions of these sources were deposited in
'/tmp/scan-build-2012-05-18-9/failures'.
scan-build: Please consider submitting a bug report using these files:
scan-build:   http://clang-analyzer.llvm.org/filing_bugs.html

-- 
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