Created ValueStateSet class to manage the creation of multiple states by a method.
Modified the new EvalBinOpNN to generate states instead of nodes. This is a much simpler interface and is what clients will want to do.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53750 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/GRTransferFuncs.cpp b/lib/Analysis/GRTransferFuncs.cpp
index cf32a07..9d9c97f 100644
--- a/lib/Analysis/GRTransferFuncs.cpp
+++ b/lib/Analysis/GRTransferFuncs.cpp
@@ -38,17 +38,11 @@
Eng.getStateManager().SetRVal(St, cast<LVal>(TargetLV), Val));
}
-void GRTransferFuncs::EvalBinOpNN(ExplodedNodeSet<ValueState>& Dst,
- GRExprEngine& Engine,
- GRStmtNodeBuilder<ValueState>& Builder,
+void GRTransferFuncs::EvalBinOpNN(ValueStateSet& OStates,
+ ValueStateManager& StateMgr,
+ const ValueState *St, Expr* Ex,
BinaryOperator::Opcode Op,
- Expr* Ex,
- NonLVal L, NonLVal R,
- ExplodedNode<ValueState>* Pred) {
-
- ValueStateManager& StateMgr = Engine.getStateManager();
- const ValueState* St = Builder.GetState(Pred);
+ NonLVal L, NonLVal R) {
- RVal Result = EvalBinOp(Engine, Op, L, R);
- Builder.MakeNode(Dst, Ex, Pred, StateMgr.SetRVal(St, Ex, Result));
+ OStates.Add(StateMgr.SetRVal(St, Ex, EvalBinOp(StateMgr, Op, L, R)));
}