]> granicus.if.org Git - clang/commitdiff
Rename Environment::LookupExpr() to
authorTed Kremenek <kremenek@apple.com>
Sun, 5 Dec 2010 23:36:15 +0000 (23:36 +0000)
committerTed Kremenek <kremenek@apple.com>
Sun, 5 Dec 2010 23:36:15 +0000 (23:36 +0000)
Environment::lookupExpr() and move its implementation
out-of-line.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120969 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Checker/PathSensitive/Environment.h
lib/Checker/Environment.cpp

index dd030fe051f52f14b71e9de60ec3559cc703ca1e..a2b3567a4ff764dcca0f081156c899a4086b44a7 100644 (file)
@@ -40,15 +40,13 @@ private:
   Environment(BindingsTy eb)
     : ExprBindings(eb) {}
 
+  SVal lookupExpr(const Stmt* E) const;
+
 public:
   typedef BindingsTy::iterator iterator;
   iterator begin() const { return ExprBindings.begin(); }
   iterator end() const { return ExprBindings.end(); }
 
-  SVal LookupExpr(const Stmt* E) const {
-    const SVal* X = ExprBindings.lookup(E);
-    return X ? *X : UnknownVal();
-  }
 
   /// GetSVal - Fetches the current binding of the expression in the
   ///  Environment.
index 4b67bda9132c4e4da1f094c330a4038cbf77d237..086d982ad5dfc75dab17783e130e57399413315a 100644 (file)
 
 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,