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.
llvm-svn: 53750
diff --git a/clang/lib/Analysis/GRSimpleVals.cpp b/clang/lib/Analysis/GRSimpleVals.cpp
index e3ba0f3..f95ccb5 100644
--- a/clang/lib/Analysis/GRSimpleVals.cpp
+++ b/clang/lib/Analysis/GRSimpleVals.cpp
@@ -450,10 +450,10 @@
// Binary operators.
-RVal GRSimpleVals::EvalBinOp(GRExprEngine& Eng, BinaryOperator::Opcode Op,
- NonLVal L, NonLVal R) {
+RVal GRSimpleVals::EvalBinOp(ValueStateManager& StateMgr,
+ BinaryOperator::Opcode Op, NonLVal L, NonLVal R) {
- BasicValueFactory& BasicVals = Eng.getBasicVals();
+ BasicValueFactory& BasicVals = StateMgr.getBasicVals();
while (1) {