about summary refs log tree commit diff homepage
path: root/lib/Module
diff options
context:
space:
mode:
authorOscar Deits <odeits@vidder.com>2017-08-27 23:19:29 -0400
committerOscar Deits <odeits@vidder.com>2017-08-27 23:19:29 -0400
commitb5929722363993bf0ad2a56d66176606cc742bc4 (patch)
treeb6dce38dd98d681e97d08d0b42adff078ccf7215 /lib/Module
parentd19500eb93083c8cc6bb72bcb54414015830cacb (diff)
downloadklee-b5929722363993bf0ad2a56d66176606cc742bc4.tar.gz
Remove unnecessary null pointer checks
Fixes klee/klee#717

delete on null pointer is always safe.
Diffstat (limited to 'lib/Module')
-rw-r--r--lib/Module/RaiseAsm.cpp3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Module/RaiseAsm.cpp b/lib/Module/RaiseAsm.cpp
index 22c51e18..13e4f7d4 100644
--- a/lib/Module/RaiseAsm.cpp
+++ b/lib/Module/RaiseAsm.cpp
@@ -103,8 +103,7 @@ bool RaiseAsmPass::runOnModule(Module &M) {
     }
   }
 
-  if (TM)
-    delete TM;
+  delete TM;
 
   return changed;
 }