diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-26 21:06:34 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-26 21:06:34 +0000 |
| commit | 0bd6b110e908892d4b5c8671a9f435a1d72ad16a (patch) | |
| tree | f93bf142c8d42d80266a9b442c0e98244731d58d /lib/StaticAnalyzer/Checkers/StreamChecker.cpp | |
| parent | 1d08123ae7ba455fff8c61fb546521ef95496f08 (diff) | |
[analyzer] Rename generateNode -> addTransition in CheckerContext
Also document addTransition methods.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@143059 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/StreamChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/StreamChecker.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/StaticAnalyzer/Checkers/StreamChecker.cpp b/lib/StaticAnalyzer/Checkers/StreamChecker.cpp index 36b1e71ac5..94ff2663aa 100644 --- a/lib/StaticAnalyzer/Checkers/StreamChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/StreamChecker.cpp @@ -241,15 +241,15 @@ void StreamChecker::OpenFileAux(CheckerContext &C, const CallExpr *CE) const { stateNull = stateNull->set<StreamState>(Sym, StreamState::getOpenFailed(CE)); - C.generateNode(stateNotNull); - C.generateNode(stateNull); + C.addTransition(stateNotNull); + C.addTransition(stateNull); } } void StreamChecker::Fclose(CheckerContext &C, const CallExpr *CE) const { const ProgramState *state = CheckDoubleClose(CE, C.getState(), C); if (state) - C.generateNode(state); + C.addTransition(state); } void StreamChecker::Fread(CheckerContext &C, const CallExpr *CE) const { @@ -279,7 +279,7 @@ void StreamChecker::Fseek(CheckerContext &C, const CallExpr *CE) const { if (x >= 0 && x <= 2) return; - if (ExplodedNode *N = C.generateNode(state)) { + if (ExplodedNode *N = C.addTransition(state)) { if (!BT_illegalwhence) BT_illegalwhence.reset(new BuiltinBug("Illegal whence argument", "The whence argument to fseek() should be " @@ -426,7 +426,7 @@ void StreamChecker::checkEndPath(CheckerContext &Ctx) const { for (SymMap::iterator I = M.begin(), E = M.end(); I != E; ++I) { StreamState SS = I->second; if (SS.isOpened()) { - ExplodedNode *N = Ctx.generateNode(state); + ExplodedNode *N = Ctx.addTransition(state); if (N) { if (!BT_ResourceLeak) BT_ResourceLeak.reset(new BuiltinBug("Resource Leak", @@ -457,7 +457,7 @@ void StreamChecker::checkPreStmt(const ReturnStmt *S, CheckerContext &C) const { if (SS->isOpened()) state = state->set<StreamState>(Sym, StreamState::getEscaped(S)); - C.generateNode(state); + C.addTransition(state); } void ento::registerStreamChecker(CheckerManager &mgr) { |