[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/StreamChecker.cpp b/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
index 8010e8d..36b1e71 100644
--- a/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
+++ b/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
@@ -241,15 +241,15 @@
stateNull =
stateNull->set<StreamState>(Sym, StreamState::getOpenFailed(CE));
- C.addTransition(stateNotNull);
- C.addTransition(stateNull);
+ C.generateNode(stateNotNull);
+ C.generateNode(stateNull);
}
}
void StreamChecker::Fclose(CheckerContext &C, const CallExpr *CE) const {
const ProgramState *state = CheckDoubleClose(CE, C.getState(), C);
if (state)
- C.addTransition(state);
+ C.generateNode(state);
}
void StreamChecker::Fread(CheckerContext &C, const CallExpr *CE) const {
@@ -457,7 +457,7 @@
if (SS->isOpened())
state = state->set<StreamState>(Sym, StreamState::getEscaped(S));
- C.addTransition(state);
+ C.generateNode(state);
}
void ento::registerStreamChecker(CheckerManager &mgr) {