aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/Environment.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2010-04-14 06:29:29 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2010-04-14 06:29:29 +0000
commit477323d58a0de352c6a61e08b5a83127c4adc904 (patch)
treeacd00c6a743dbb4109193335302ca9c2419f115c /lib/Checker/Environment.cpp
parent21f6d6ea71b89aeae6b9262c8cbdff7f6328e749 (diff)
Add support for CXXBoolLiteralExpr.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@101238 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/Environment.cpp')
-rw-r--r--lib/Checker/Environment.cpp7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/Checker/Environment.cpp b/lib/Checker/Environment.cpp
index be1a677d91..addfc21c18 100644
--- a/lib/Checker/Environment.cpp
+++ b/lib/Checker/Environment.cpp
@@ -37,6 +37,13 @@ SVal Environment::GetSVal(const Stmt *E, ValueManager& ValMgr) const {
return ValMgr.makeIntVal(C->getValue(), C->getType());
}
+ case Stmt::CXXBoolLiteralExprClass: {
+ const SVal *X = ExprBindings.lookup(E);
+ if (X)
+ return *X;
+ else
+ return ValMgr.makeIntVal(cast<CXXBoolLiteralExpr>(E));
+ }
case Stmt::IntegerLiteralClass: {
// In C++, this expression may have been bound to a temporary object.
SVal const *X = ExprBindings.lookup(E);