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 | da4c8d68110f8db56644ac0c1150fa3c04b6020c (patch) | |
| tree | f791416d37489efa59719c51ff19b9e610f9d38b /clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp | |
| parent | 1b73ea342c95052ca3770cb9329dd0775642e778 (diff) | |
| download | bcm5719-llvm-da4c8d68110f8db56644ac0c1150fa3c04b6020c.tar.gz bcm5719-llvm-da4c8d68110f8db56644ac0c1150fa3c04b6020c.zip | |
[analyzer] Rename generateNode -> addTransition in CheckerContext
Also document addTransition methods.
llvm-svn: 143059
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp index 36b1e71ac56..94ff2663aa5 100644 --- a/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp +++ b/clang/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) { |
