Merge pull request diffblue#899 from pkesseli/tempfile-avoid-unnecessary-unlink

Avoid unlink call on empty string

Author: Daniel Kroening

src/util/tempfile.cpp

@@ -164,5 +164,6 @@ Function: temporary_filet::~temporary_filet
 
 temporary_filet::~temporary_filet()
 {
-  unlink(name.c_str());
+  if(!name.empty())
+    unlink(name.c_str());
 }

src/util/tempfile.h

@@ -32,9 +32,9 @@ class temporary_filet
   // Using the copy constructor would delete the file twice.
   temporary_filet(const temporary_filet &)=delete;
 
-  temporary_filet(temporary_filet &&other) :
-      name(std::move(other.name))
+  temporary_filet(temporary_filet &&other)
   {
+    name.swap(other.name);
   }
 
   // get the name