aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/Environment.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Checker/Environment.cpp')
-rw-r--r--lib/Checker/Environment.cpp11
1 files changed, 10 insertions, 1 deletions
diff --git a/lib/Checker/Environment.cpp b/lib/Checker/Environment.cpp
index 4b67bda913..086d982ad5 100644
--- a/lib/Checker/Environment.cpp
+++ b/lib/Checker/Environment.cpp
@@ -17,6 +17,15 @@
using namespace clang;
+SVal Environment::lookupExpr(const Stmt* E) const {
+ const SVal* X = ExprBindings.lookup(E);
+ if (X) {
+ SVal V = *X;
+ return V;
+ }
+ return UnknownVal();
+}
+
SVal Environment::getSVal(const Stmt *E, SValBuilder& svalBuilder) const {
for (;;) {
switch (E->getStmtClass()) {
@@ -75,7 +84,7 @@ SVal Environment::getSVal(const Stmt *E, SValBuilder& svalBuilder) const {
};
break;
}
- return LookupExpr(E);
+ return lookupExpr(E);
}
Environment EnvironmentManager::bindExpr(Environment Env, const Stmt *S,