diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-11-24 00:54:37 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-11-24 00:54:37 +0000 |
commit | 3baf672378f105602d2b12f03f00277ae1936fe9 (patch) | |
tree | 3aff1c30c5f276162a7544f9b9786275beea410a /lib/Checker/Environment.cpp | |
parent | 97ab3ac0889b4956d518a145317e2d951428ba34 (diff) |
Adjust method calls to reflect name changes in
ImmutableSet/ImmtuableMap/ImmutableList APIs.
Along the way, clean up some method names in
the static analyzer so that they are more
descriptive and/or start with lowercase letters.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120071 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/Environment.cpp')
-rw-r--r-- | lib/Checker/Environment.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lib/Checker/Environment.cpp b/lib/Checker/Environment.cpp index 10644ccc14..914070e030 100644 --- a/lib/Checker/Environment.cpp +++ b/lib/Checker/Environment.cpp @@ -86,12 +86,12 @@ Environment EnvironmentManager::bindExpr(Environment Env, const Stmt *S, if (V.isUnknown()) { if (Invalidate) - return Environment(F.Remove(Env.ExprBindings, S)); + return Environment(F.remove(Env.ExprBindings, S)); else return Env; } - return Environment(F.Add(Env.ExprBindings, S, V)); + return Environment(F.add(Env.ExprBindings, S, V)); } static inline const Stmt *MakeLocation(const Stmt *S) { @@ -101,7 +101,7 @@ static inline const Stmt *MakeLocation(const Stmt *S) { Environment EnvironmentManager::bindExprAndLocation(Environment Env, const Stmt *S, SVal location, SVal V) { - return Environment(F.Add(F.Add(Env.ExprBindings, MakeLocation(S), location), + return Environment(F.add(F.add(Env.ExprBindings, MakeLocation(S), location), S, V)); } @@ -175,7 +175,7 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, // Block-level expressions in callers are assumed always live. if (isBlockExprInCallers(BlkExpr, SymReaper.getLocationContext())) { - NewEnv.ExprBindings = F.Add(NewEnv.ExprBindings, BlkExpr, X); + NewEnv.ExprBindings = F.add(NewEnv.ExprBindings, BlkExpr, X); if (isa<loc::MemRegionVal>(X)) { const MemRegion* R = cast<loc::MemRegionVal>(X).getRegion(); @@ -194,7 +194,7 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, if (SymReaper.isLive(BlkExpr)) { // Copy the binding to the new map. - NewEnv.ExprBindings = F.Add(NewEnv.ExprBindings, BlkExpr, X); + NewEnv.ExprBindings = F.add(NewEnv.ExprBindings, BlkExpr, X); // If the block expr's value is a memory region, then mark that region. if (isa<loc::MemRegionVal>(X)) { @@ -213,7 +213,7 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, // beginning of itself, but we need its UndefinedVal to determine its // SVal. if (X.isUndef() && cast<UndefinedVal>(X).getData()) - NewEnv.ExprBindings = F.Add(NewEnv.ExprBindings, BlkExpr, X); + NewEnv.ExprBindings = F.add(NewEnv.ExprBindings, BlkExpr, X); } // Go through he deferred locations and add them to the new environment if @@ -222,7 +222,7 @@ EnvironmentManager::RemoveDeadBindings(Environment Env, I = deferredLocations.begin(), E = deferredLocations.end(); I != E; ++I) { const Stmt *S = (Stmt*) (((uintptr_t) I->first) & (uintptr_t) ~0x1); if (NewEnv.ExprBindings.lookup(S)) - NewEnv.ExprBindings = F.Add(NewEnv.ExprBindings, I->first, I->second); + NewEnv.ExprBindings = F.add(NewEnv.ExprBindings, I->first, I->second); } return NewEnv; |