[LLVMbugs] [Bug 16690] New: ICE in clang::ento::SValBuilder::evalCast

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16690
           Summary: ICE in clang::ento::SValBuilder::evalCast
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: mrmocool at gmx.de
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10918
  --> http://llvm.org/bugs/attachment.cgi?id=10918&action=edit
reduced test case

$ clang -v
clang version 3.4 (trunk 186982)
Target: x86_64-unknown-linux-gnu
Thread model: posix
$ clang++ -c -std=c++11 -w reduced.cpp
$ clang++ -cc1 -analyze -analyzer-checker=cplusplus -w -std=c++11
-fcxx-exceptions reduced.cpp
clang++: llvm/tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:415:
clang::ento::SVal clang::ento::SValBuilder::evalCast(clang::ento::SVal,
clang::QualType, clang::QualType): Assertion `val.getAs<Loc>()' failed.
0  clang++         0x0000000001cc1ca5 llvm::sys::PrintStackTrace(_IO_FILE*) +
37
1  clang++         0x0000000001cc20f3
2  libpthread.so.0 0x00007f236dd7fcb0
3  libc.so.6       0x00007f236cdc6425 gsignal + 53
4  libc.so.6       0x00007f236cdc9b8b abort + 379
5  libc.so.6       0x00007f236cdbf0ee
6  libc.so.6       0x00007f236cdbf192
7  clang++         0x0000000000e84d8b
clang::ento::SValBuilder::evalCast(clang::ento::SVal, clang::QualType,
clang::QualType) + 2603
8  clang++         0x0000000000e4012a
clang::ento::ExprEngine::VisitCast(clang::CastExpr const*, clang::Expr const*,
clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) + 1258
9  clang++         0x0000000000e31301
clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*,
clang::ento::ExplodedNodeSet&) + 6833
10 clang++         0x0000000000e2e061
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt,
clang::ento::ExplodedNode*) + 849
11 clang++         0x0000000000e2dc9d
clang::ento::ExprEngine::processCFGElement(clang::CFGElement,
clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) +
205
12 clang++         0x0000000000e240c3
clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int,
clang::ento::ExplodedNode*) + 147
13 clang++         0x0000000000e23a1f
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*,
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 111
14 clang++         0x0000000000e235e3
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 563
15 clang++         0x0000000000d276f3
16 clang++         0x0000000000d26da8
17 clang++         0x0000000000d24355
18 clang++         0x000000000093ad73 clang::ParseAST(clang::Sema&, bool, bool)
+ 531
19 clang++         0x0000000000653990 clang::FrontendAction::Execute() + 112
20 clang++         0x00000000006320ad
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 925
21 clang++         0x00000000006187cc
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 2956
22 clang++         0x000000000060f9a2 cc1_main(char const**, char const**, char
const*, void*) + 594
23 clang++         0x000000000061660a main + 9642
24 libc.so.6       0x00007f236cdb176d __libc_start_main + 237
25 clang++         0x000000000060f671
Stack dump:
0.    Program arguments: clang++ -cc1 -analyze -analyzer-checker=cplusplus -w
-std=c++11 -fcxx-exceptions reduced.cpp 
1.    <eof> parser at end of file
2.    While analyzing stack: 
    #0 void foo(const string &, const string &, vector<string> &vlist)
3.    reduced.cpp:139:5: Error evaluating statement
4.    reduced.cpp:139:5: Error evaluating statement
Aborted (core dumped)

-- 
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/20130724/783674e5/attachment.html>