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/ArrayBoundCheckerV2.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/ArrayBoundCheckerV2.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp b/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp index 6175028a9b2..59733564fb6 100644 --- a/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp @@ -166,7 +166,7 @@ void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad, while (false); if (state != originalState) - checkerContext.generateNode(state); + checkerContext.addTransition(state); } void ArrayBoundCheckerV2::reportOOB(CheckerContext &checkerContext, |
