[LLVMbugs] [Bug 12915] New: Assertion `!isa<NonLoc>(location) && "location cannot be a NonLoc."' failed.
bugzilla-daemon at llvm.org
bugzilla-daemon at llvm.org
Tue May 22 10:58:54 PDT 2012
http://llvm.org/bugs/show_bug.cgi?id=12915
Bug #: 12915
Summary: Assertion `!isa<NonLoc>(location) && "location cannot
be a NonLoc."' failed.
Product: clang
Version: trunk
Platform: PC
OS/Version: All
Status: NEW
Severity: enhancement
Priority: P
Component: Static Analyzer
AssignedTo: kremenek at apple.com
ReportedBy: jthackray at riverbed.com
CC: llvmbugs at cs.uiuc.edu
Classification: Unclassified
clang: /zfs/llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1635: void
clang::ento::ExprEngine::evalLoad(clang::ento::ExplodedNodeSet&, const
clang::Expr*, const clang::Expr*, clang::ento::ExplodedNode*,
clang::ento::ProgramStateRef, clang::ento::SVal, const clang::ProgramPointTag*,
clang::QualType): Assertion `!isa<NonLoc>(location) && "location cannot be a
NonLoc."' failed.
0 clang 0x0000000001ee313f
1 clang 0x0000000001ee3649
2 libpthread.so.0 0x00002b59d0c93cb0
3 libc.so.6 0x00002b59d18ed445 gsignal + 53
4 libc.so.6 0x00002b59d18f0bab abort + 379
5 libc.so.6 0x00002b59d18e610e
6 libc.so.6 0x00002b59d18e61b2
7 clang 0x0000000000e86f2c
8 clang 0x0000000000e93cc0
clang::ento::ExprEngine::VisitCast(clang::CastExpr const*, clang::Expr const*,
clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) + 4112
9 clang 0x0000000000e8abea
clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*,
clang::ento::ExplodedNodeSet&) + 1786
10 clang 0x0000000000e8d168
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt,
clang::ento::ExplodedNode*) + 552
11 clang 0x0000000000e8d3ca
clang::ento::ExprEngine::processCFGElement(clang::CFGElement,
clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) +
186
12 clang 0x0000000000e728f1
clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int,
clang::ento::ExplodedNode*) + 145
13 clang 0x0000000000e72dec
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*,
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 812
14 clang 0x0000000000e734d1
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 193
15 clang 0x0000000000d384e7
16 clang 0x0000000000d39070
17 clang 0x0000000000d42a6c
18 clang 0x00000000009ba39f clang::ParseAST(clang::Sema&, bool, bool)
+ 447
19 clang 0x0000000000724444
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 340
20 clang 0x000000000070b33e
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1198
21 clang 0x0000000000702fd8 cc1_main(char const**, char const**, char
const*, void*) + 984
22 clang 0x00000000006ed007 main + 743
23 libc.so.6 0x00002b59d18d876d __libc_start_main + 237
24 clang 0x0000000000700bc9
Stack dump:
0. Program arguments: /usr/local/bin/clang -cc1 -triple
x86_64-unknown-linux-gnu -analyze -disable-free -main-file-name ipmask.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 -target-cpu x86-64 -target-linker-version
2.22 -momit-leaf-frame-pointer -resource-dir /usr/local/bin/../lib/clang/3.2 -D
BUILD_NAME="INTERNAL USE ONLY" -D USE_INVARIANTS -D NOSETEUID -D LITTLE_BYTES
-D HAVE_CRYPT_H -D HAVE_SYS_IOCTL_H -D HAVE_SYS_EPOLL_H -D HAVE_PTHREAD_H -D
Linux -D PLATFORMID=1 -D USE_RSA_CRYPTOC -D NO_VSNPRINTF -D USE_OPEN64 -D
_LARGEFILE64_SOURCE -D HAVE_INITGROUPS -D USE_SOCKET_OPTIMIZE -D HAVE_64BITPTR
-D HAVE_64BIT_FD_SET -D HAVE_IFADDRS -D HAVE_IPV6 -I .. -fmodule-cache-path
/var/tmp/clang-module-cache -internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6 -internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/x86_64-linux-gnu
-internal-isystem
/usr/lib/gcc/x86_64-linux-gnu/4.6/../../../../include/c++/4.6/backward
-internal-isystem /usr/local/include -internal-isystem
/usr/local/bin/../lib/clang/3.2/include -internal-externc-isystem
/usr/include/x86_64-linux-gnu -internal-externc-isystem /include
-internal-externc-isystem /usr/include -Wno-self-assign -std=c++0x
-fdeprecated-macro -fdebug-compilation-dir
/home/jthackray/branches/clang/zlib/zsys -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
/home/jthackray/branches/clang/jthackray-02_static_analysis/zsys/2012-05-22-1
-x c++ ipmask.cpp
1. <eof> parser at end of file
2. ipmask.cpp:26:8: Error evaluating statement
3. ipmask.cpp:26:8: 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
'/home/jthackray/branches/clang/jthackray-02_static_analysis/zsys/2012-05-22-1/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