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

(limited to 'lib/Core/StatsTracker.cpp')

diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index 3a87f57a..6dc13df8 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -264,10 +264,8 @@ StatsTracker::StatsTracker(Executor &_executor, std::string _objectFilename,
 }
 
 StatsTracker::~StatsTracker() {  
-  if (statsFile)
-    delete statsFile;
-  if (istatsFile)
-    delete istatsFile;
+  delete statsFile;
+  delete istatsFile;
 }
 
 void StatsTracker::done() {
-- 
cgit 1.4.1