diff options
Diffstat (limited to 'lib/Checker/Environment.cpp')
-rw-r--r-- | lib/Checker/Environment.cpp | 11 |
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, |