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/Support/TreeStream.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/Support/TreeStream.cpp') diff --git a/lib/Support/TreeStream.cpp b/lib/Support/TreeStream.cpp index a0e1596f..8681245b 100644 --- a/lib/Support/TreeStream.cpp +++ b/lib/Support/TreeStream.cpp @@ -40,8 +40,7 @@ TreeStreamWriter::TreeStreamWriter(const std::string &_path) TreeStreamWriter::~TreeStreamWriter() { flush(); - if (output) - delete output; + delete output; } bool TreeStreamWriter::good() { -- cgit 1.4.1