diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-09-14 13:58:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-14 13:58:11 +0100 |
| commit | 2108b0e8566bb1d6e8629b7b6806c07010a8269f (patch) | |
| tree | b6dce38dd98d681e97d08d0b42adff078ccf7215 /lib/Core/Executor.cpp | |
| parent | d19500eb93083c8cc6bb72bcb54414015830cacb (diff) | |
| parent | b5929722363993bf0ad2a56d66176606cc742bc4 (diff) | |
| download | klee-2108b0e8566bb1d6e8629b7b6806c07010a8269f.tar.gz | |
Merge pull request #749 from odeits/issue/717
Remove unnecessary null pointer checks
Diffstat (limited to 'lib/Core/Executor.cpp')
| -rw-r--r-- | lib/Core/Executor.cpp | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index fac68b8d..a0a6f7ea 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -419,21 +419,16 @@ const Module *Executor::setModule(llvm::Module *module, Executor::~Executor() { delete memory; delete externalDispatcher; - if (processTree) - delete processTree; - if (specialFunctionHandler) - delete specialFunctionHandler; - if (statsTracker) - delete statsTracker; + delete processTree; + delete specialFunctionHandler; + delete statsTracker; delete solver; delete kmodule; while(!timers.empty()) { delete timers.back(); timers.pop_back(); } - if (debugInstFile) { - delete debugInstFile; - } + delete debugInstFile; } /***/ |