[analyzer] Simplify CheckerContext
Remove dead members/parameters: ProgramState, respondsToCallback, autoTransition.
Remove addTransition method since it's the same as generateNode. Maybe we should
rename generateNode to genTransition (since a transition is always automatically
generated)?
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142946 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp b/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
index c7d108b..03096c1 100644
--- a/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
+++ b/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
@@ -53,7 +53,7 @@
ExplodedNode *MakeNode(const ProgramState *state, ExplodedNode *Pred,
bool MarkAsSink = false) {
assert(C);
- return C->generateNode(state, Pred, tag, false, MarkAsSink);
+ return C->generateNode(state, Pred, tag, MarkAsSink);
}
};
} // end anonymous namespace
@@ -2517,7 +2517,7 @@
state =
state->scanReachableSymbols<StopTrackingCallback>(Regions.data(),
Regions.data() + Regions.size()).getState();
- C.addTransition(state);
+ C.generateNode(state);
}
void RetainCountChecker::checkPostStmt(const CastExpr *CE,
@@ -3047,7 +3047,7 @@
state = state->set<RefBindings>(Sym, *Binding);
}
- C.addTransition(state);
+ C.generateNode(state);
return true;
}
@@ -3252,7 +3252,7 @@
// Otherwise, find all symbols referenced by 'val' that we are tracking
// and stop tracking them.
state = state->scanReachableSymbols<StopTrackingCallback>(val).getState();
- C.addTransition(state);
+ C.generateNode(state);
}
const ProgramState *RetainCountChecker::evalAssume(const ProgramState *state,