aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/DereferenceChecker.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-12-20 21:19:09 +0000
committerTed Kremenek <kremenek@apple.com>2010-12-20 21:19:09 +0000
commitd048c6ef5b6cfaa0cecb8cc1d4bdace32ed21d07 (patch)
tree603448a0e4c579fe80d310bf160f3fdba68c7515 /lib/Checker/DereferenceChecker.cpp
parent21a288f2ee8673d91e2d0b7d5aaca567c332de13 (diff)
Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122270 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/DereferenceChecker.cpp')
-rw-r--r--lib/Checker/DereferenceChecker.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Checker/DereferenceChecker.cpp b/lib/Checker/DereferenceChecker.cpp
index f1d77204cb..0f75cc00bc 100644
--- a/lib/Checker/DereferenceChecker.cpp
+++ b/lib/Checker/DereferenceChecker.cpp
@@ -87,7 +87,7 @@ void DereferenceChecker::VisitLocation(CheckerContext &C, const Stmt *S,
SVal l) {
// Check for dereference of an undefined value.
if (l.isUndef()) {
- if (ExplodedNode *N = C.GenerateSink()) {
+ if (ExplodedNode *N = C.generateSink()) {
if (!BT_undef)
BT_undef = new BuiltinBug("Dereference of undefined pointer value");
@@ -114,7 +114,7 @@ void DereferenceChecker::VisitLocation(CheckerContext &C, const Stmt *S,
if (nullState) {
if (!notNullState) {
// Generate an error node.
- ExplodedNode *N = C.GenerateSink(nullState);
+ ExplodedNode *N = C.generateSink(nullState);
if (!N)
return;
@@ -193,7 +193,7 @@ void DereferenceChecker::VisitLocation(CheckerContext &C, const Stmt *S,
// Otherwise, we have the case where the location could either be
// null or not-null. Record the error node as an "implicit" null
// dereference.
- if (ExplodedNode *N = C.GenerateSink(nullState))
+ if (ExplodedNode *N = C.generateSink(nullState))
ImplicitNullDerefNodes.push_back(N);
}
}