diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-13 04:27:00 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-13 04:27:00 +0000 |
| commit | 4adc81e540b874bafa15715fd2c5cb662463debd (patch) | |
| tree | ca91a0f83cbdf4fdf39d1d4bbf223fb28540dd3c /lib/Analysis/GRTransferFuncs.cpp | |
| parent | 70ecb9b8833d299b961ef71b59d3326bf25e67f6 (diff) | |
Rename ValueState -> GRState.
Rename ValueStateManager -> GRStateManager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54721 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRTransferFuncs.cpp')
| -rw-r--r-- | lib/Analysis/GRTransferFuncs.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lib/Analysis/GRTransferFuncs.cpp b/lib/Analysis/GRTransferFuncs.cpp index e30e0712c5..03292d1c49 100644 --- a/lib/Analysis/GRTransferFuncs.cpp +++ b/lib/Analysis/GRTransferFuncs.cpp @@ -19,11 +19,11 @@ using namespace clang; void GRTransferFuncs::RegisterChecks(GRExprEngine& Eng) {} -void GRTransferFuncs::EvalStore(ExplodedNodeSet<ValueState>& Dst, +void GRTransferFuncs::EvalStore(ExplodedNodeSet<GRState>& Dst, GRExprEngine& Eng, - GRStmtNodeBuilder<ValueState>& Builder, - Expr* E, ExplodedNode<ValueState>* Pred, - const ValueState* St, RVal TargetLV, RVal Val) { + GRStmtNodeBuilder<GRState>& Builder, + Expr* E, ExplodedNode<GRState>* Pred, + const GRState* St, RVal TargetLV, RVal Val) { // This code basically matches the "safety-net" logic of GRExprEngine: // bind Val to TargetLV, and create a new node. We replicate it here @@ -38,9 +38,9 @@ void GRTransferFuncs::EvalStore(ExplodedNodeSet<ValueState>& Dst, Eng.getStateManager().SetRVal(St, cast<LVal>(TargetLV), Val)); } -void GRTransferFuncs::EvalBinOpNN(ValueStateSet& OStates, - ValueStateManager& StateMgr, - const ValueState *St, Expr* Ex, +void GRTransferFuncs::EvalBinOpNN(GRStateSet& OStates, + GRStateManager& StateMgr, + const GRState *St, Expr* Ex, BinaryOperator::Opcode Op, NonLVal L, NonLVal R) { |