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/Expr/ExprSMTLIBPrinter.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'lib/Expr/ExprSMTLIBPrinter.cpp')

diff --git a/lib/Expr/ExprSMTLIBPrinter.cpp b/lib/Expr/ExprSMTLIBPrinter.cpp
index 192e3461..fd515509 100644
--- a/lib/Expr/ExprSMTLIBPrinter.cpp
+++ b/lib/Expr/ExprSMTLIBPrinter.cpp
@@ -61,14 +61,12 @@ ExprSMTLIBPrinter::ExprSMTLIBPrinter()
 }
 
 ExprSMTLIBPrinter::~ExprSMTLIBPrinter() {
-  if (p != NULL)
-    delete p;
+  delete p;
 }
 
 void ExprSMTLIBPrinter::setOutput(llvm::raw_ostream &output) {
   o = &output;
-  if (p != NULL)
-    delete p;
+  delete p;
 
   p = new PrintContext(output);
 }
-- 
cgit 1.4.1