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/BuiltinFunctionChecker.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
index a57d031..d00ef59 100644
--- a/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
@@ -49,7 +49,7 @@
     // For __builtin_expect, just return the value of the subexpression.
     assert (CE->arg_begin() != CE->arg_end());
     SVal X = state->getSVal(*(CE->arg_begin()));
-    C.generateNode(state->BindExpr(CE, X));
+    C.addTransition(state->BindExpr(CE, X));
     return true;
   }
 
@@ -72,7 +72,7 @@
       svalBuilder.evalEQ(state, Extent, Size);
     state = state->assume(extentMatchesSizeArg, true);
 
-    C.generateNode(state->BindExpr(CE, loc::MemRegionVal(R)));
+    C.addTransition(state->BindExpr(CE, loc::MemRegionVal(R)));
     return true;
   }
   }