aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/Module
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-06-04 11:56:48 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-10-09 21:34:43 +0100
commit356b0471a11370b4c8833519a2d9ffbe8ce6b2e1 (patch)
tree1be01307e2fbcb9b1543d8cbffbe4d71194da735 /lib/Module
parenta6e225f62810c1c35550b8de369e8720e6ec8a16 (diff)
downloadklee-356b0471a11370b4c8833519a2d9ffbe8ce6b2e1.tar.gz
Replace `NULL` with explicit `nullptr`
Diffstat (limited to 'lib/Module')
-rw-r--r--lib/Module/ModuleUtil.cpp8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp
index 974667e3..f4cc3048 100644
--- a/lib/Module/ModuleUtil.cpp
+++ b/lib/Module/ModuleUtil.cpp
@@ -280,22 +280,22 @@ Function *klee::getDirectCallTarget(
#endif
v = ga->getAliasee();
} else {
- v = NULL;
+ v = nullptr;
}
} else if (llvm::ConstantExpr *ce = dyn_cast<llvm::ConstantExpr>(v)) {
viaConstantExpr = true;
v = ce->getOperand(0)->stripPointerCasts();
} else {
- v = NULL;
+ v = nullptr;
}
- } while (v != NULL);
+ } while (v != nullptr);
// NOTE: This assert may fire, it isn't necessarily a problem and
// can be disabled, I just wanted to know when and if it happened.
(void) viaConstantExpr;
assert((!viaConstantExpr) &&
"FIXME: Unresolved direct target for a constant expression");
- return NULL;
+ return nullptr;
}
static bool valueIsOnlyCalled(const Value *v) {