From b5929722363993bf0ad2a56d66176606cc742bc4 Mon Sep 17 00:00:00 2001
From: Oscar Deits <odeits@vidder.com>
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/Support/FileHandling.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'lib/Support/FileHandling.cpp')

diff --git a/lib/Support/FileHandling.cpp b/lib/Support/FileHandling.cpp
index e5ead9f7..3e156f3c 100644
--- a/lib/Support/FileHandling.cpp
+++ b/lib/Support/FileHandling.cpp
@@ -31,8 +31,7 @@ llvm::raw_fd_ostream *klee_open_output_file(std::string &path,
   f = new llvm::raw_fd_ostream(path.c_str(), error, llvm::sys::fs::F_Binary);
 #endif
   if (!error.empty()) {
-    if (f)
-      delete f;
+    delete f;
     f = NULL;
   }
   return f;
-- 
cgit 1.4.1