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 | 063e0887ad65d666d23ee3178436ad6507abbd1b (patch) | |
| tree | d6b5c6724f8607e0a4bf2f9a744856e61c6930db /lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp | |
| parent | 2e9264a17bacc7dc228d5f93caaeb98dfb23d508 (diff) | |
[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
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp b/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp index 8296eb93c5..fa96d62ce3 100644 --- a/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp @@ -125,7 +125,7 @@ void AttrNonNullChecker::checkPreStmt(const CallExpr *CE, // If we reach here all of the arguments passed the nonnull check. // If 'state' has been updated generated a new node. - C.addTransition(state); + C.generateNode(state); } void ento::registerAttrNonNullChecker(CheckerManager &mgr) { |