From b5929722363993bf0ad2a56d66176606cc742bc4 Mon Sep 17 00:00:00 2001 From: Oscar Deits Date: Sun, 27 Aug 2017 23:19:29 -0400 Subject: Remove unnecessary null pointer checks Fixes klee/klee#717 delete on null pointer is always safe. --- lib/Module/RaiseAsm.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/Module') 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; } -- cgit 1.4.1