summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/Environment.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2011-04-22 18:01:30 +0000
committerTed Kremenek <kremenek@apple.com>2011-04-22 18:01:30 +0000
commit11e5c8b31a056615e3f0161d2886782145db19ae (patch)
treeeb17dab72d6db21dd2424f602697bac518911029 /clang/lib/StaticAnalyzer/Core/Environment.cpp
parent0fed10e704faf7894175d45153bc16d298c000a1 (diff)
downloadbcm5719-llvm-11e5c8b31a056615e3f0161d2886782145db19ae.tar.gz
bcm5719-llvm-11e5c8b31a056615e3f0161d2886782145db19ae.zip
Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II.
llvm-svn: 130003
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/Environment.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Core/Environment.cpp3
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/Environment.cpp b/clang/lib/StaticAnalyzer/Core/Environment.cpp
index 1ebb4ac5d4f..0d43c37587b 100644
--- a/clang/lib/StaticAnalyzer/Core/Environment.cpp
+++ b/clang/lib/StaticAnalyzer/Core/Environment.cpp
@@ -64,6 +64,9 @@ SVal Environment::getSVal(const Stmt *E, SValBuilder& svalBuilder) const {
else
return svalBuilder.makeIntVal(cast<IntegerLiteral>(E));
}
+ // For special C0xx nullptr case, make a null pointer SVal.
+ case Stmt::CXXNullPtrLiteralExprClass:
+ return svalBuilder.makeNull();
case Stmt::ImplicitCastExprClass:
case Stmt::CXXFunctionalCastExprClass:
case Stmt::CStyleCastExprClass: {
OpenPOWER on IntegriCloud