diff options
author | Anna Zaks <ganna@apple.com> | 2011-10-26 21:06:34 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2011-10-26 21:06:34 +0000 |
commit | 0bd6b110e908892d4b5c8671a9f435a1d72ad16a (patch) | |
tree | f93bf142c8d42d80266a9b442c0e98244731d58d /lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp | |
parent | 1d08123ae7ba455fff8c61fb546521ef95496f08 (diff) |
[analyzer] Rename generateNode -> addTransition in CheckerContext
Also document addTransition methods.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@143059 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp b/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp index a57d03175c..d00ef590fb 100644 --- a/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp @@ -49,7 +49,7 @@ bool BuiltinFunctionChecker::evalCall(const CallExpr *CE, // 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 @@ bool BuiltinFunctionChecker::evalCall(const CallExpr *CE, 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; } } |