diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-25 19:57:06 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-25 19:57:06 +0000 |
| commit | b473816b4a067514385281be17ba7a1e1c84a483 (patch) | |
| tree | 6f87b9e202b17132400fbdb8174dad93e4263986 /clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp | |
| parent | 513921dc8a1e542ecc0b2cf787cdac2dec8f4077 (diff) | |
| download | bcm5719-llvm-b473816b4a067514385281be17ba7a1e1c84a483.tar.gz bcm5719-llvm-b473816b4a067514385281be17ba7a1e1c84a483.zip | |
[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)?
llvm-svn: 142946
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp index 6935c5f1c19..f8cd335258b 100644 --- a/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp @@ -84,8 +84,7 @@ void ArrayBoundChecker::checkLocation(SVal l, bool isLoad, const Stmt* LoadS, // Array bound check succeeded. From this point forward the array bound // should always succeed. - assert(StInBound); - C.addTransition(StInBound); + C.generateNode(StInBound); } void ento::registerArrayBoundChecker(CheckerManager &mgr) { |
