diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-06-04 11:56:48 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-10-09 21:34:43 +0100 |
commit | 356b0471a11370b4c8833519a2d9ffbe8ce6b2e1 (patch) | |
tree | 1be01307e2fbcb9b1543d8cbffbe4d71194da735 /lib/Module | |
parent | a6e225f62810c1c35550b8de369e8720e6ec8a16 (diff) | |
download | klee-356b0471a11370b4c8833519a2d9ffbe8ce6b2e1.tar.gz |
Replace `NULL` with explicit `nullptr`
Diffstat (limited to 'lib/Module')
-rw-r--r-- | lib/Module/ModuleUtil.cpp | 8 |
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) { |