summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2011-10-25 19:57:06 +0000
committerAnna Zaks <ganna@apple.com>2011-10-25 19:57:06 +0000
commitb473816b4a067514385281be17ba7a1e1c84a483 (patch)
tree6f87b9e202b17132400fbdb8174dad93e4263986 /clang/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp
parent513921dc8a1e542ecc0b2cf787cdac2dec8f4077 (diff)
downloadbcm5719-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/AttrNonNullChecker.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp
index 8296eb93c5a..fa96d62ce3a 100644
--- a/clang/lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp
+++ b/clang/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) {
OpenPOWER on IntegriCloud