commit da4c8d68110f8db56644ac0c1150fa3c04b6020c
author Anna Zaks <ganna@apple.com> Wed Oct 26 21:06:34 2011 +0000
committer Anna Zaks <ganna@apple.com> Wed Oct 26 21:06:34 2011 +0000
tree f791416d37489efa59719c51ff19b9e610f9d38b
parent 1b73ea342c95052ca3770cb9329dd0775642e778

[analyzer] Rename generateNode -> addTransition in CheckerContext

Also document addTransition methods.

llvm-svn: 143059

clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
index 1124242..8a7f48b 100644
--- a/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
@@ -312,7 +312,7 @@
 
     // The result is not consumed by a surrounding expression.  Just propagate
     // the current state.
-    C.generateNode(state);
+    C.addTransition(state);
     return;
   }
 
@@ -349,11 +349,11 @@
     // of this case unless we have *a lot* more knowledge.
     //
     SVal V = C.getSValBuilder().makeZeroVal(msg.getType(Ctx));
-    C.generateNode(state->BindExpr(msg.getOriginExpr(), V));
+    C.addTransition(state->BindExpr(msg.getOriginExpr(), V));
     return;
   }
 
-  C.generateNode(state);
+  C.addTransition(state);
 }
 
 void ento::registerCallAndMessageChecker(CheckerManager &mgr) {