Rename:
- SetSVal(GRState*, Loc, SVal) => BindLoc
- SetSVal(GRState*, Expr*, SVal) => BindExpr
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58421 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index 48b25a7..0b36984 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -370,9 +370,9 @@
SVal V = StateMgr.GetSVal(St, *I);
if (isa<loc::MemRegionVal>(V))
- St = StateMgr.SetSVal(St, cast<Loc>(V), UnknownVal());
+ St = StateMgr.BindLoc(St, cast<Loc>(V), UnknownVal());
else if (isa<nonloc::LocAsInteger>(V))
- St = StateMgr.SetSVal(St, cast<nonloc::LocAsInteger>(V).getLoc(),
+ St = StateMgr.BindLoc(St, cast<nonloc::LocAsInteger>(V).getLoc(),
UnknownVal());
}
@@ -389,7 +389,7 @@
? cast<SVal>(loc::SymbolVal(Sym))
: cast<SVal>(nonloc::SymbolVal(Sym));
- St = StateMgr.SetSVal(St, CE, X, Eng.getCFG().isBlkExpr(CE), false);
+ St = StateMgr.BindExpr(St, CE, X, Eng.getCFG().isBlkExpr(CE), false);
}
Builder.MakeNode(Dst, CE, Pred, St);
@@ -418,7 +418,7 @@
SVal V = StateMgr.GetSVal(St, *I);
if (isa<Loc>(V))
- St = StateMgr.SetSVal(St, cast<Loc>(V), UnknownVal());
+ St = StateMgr.BindLoc(St, cast<Loc>(V), UnknownVal());
}
Builder.MakeNode(Dst, ME, Pred, St);