Delete functions delete_file() and delete_dir() which are not needed now that klee-replay creates a temporary directory for replay

1 files changed, 0 insertions, 41 deletions

diff --git a/tools/klee-replay/file-creator.c b/tools/klee-replay/file-creator.c
index 9b6e66a8..a41e02e2 100644
--- a/tools/klee-replay/file-creator.c
+++ b/tools/klee-replay/file-creator.c
@@ -41,7 +41,6 @@ static void create_file(int target_fd,
                        exe_disk_file_t *dfile,
                        const char *tmpdir);
 static void check_file(int index, exe_disk_file_t *dfile);
-static void delete_file(const char *path, int recurse);
 
 
 #define __STDIN (-1)
@@ -327,44 +326,6 @@ static int create_reg_file(const char *fname, exe_disk_file_t *dfile,
   return fd;
 }
 
-static int delete_dir(const char *path, int recurse) {
-  if (recurse) {
-    DIR *d = opendir(path);
-    struct dirent *de;
-
-    if (d) {
-      while ((de = readdir(d))) {
-        if (strcmp(de->d_name, ".") != 0 && strcmp(de->d_name, "..") != 0) {
-          char tmp[PATH_MAX];
-          snprintf(tmp, sizeof(tmp), "%s/%s", path, de->d_name);
-          delete_file(tmp, 0);
-        }
-      }
-
-      closedir(d);
-    }
-  }
-
-  if (rmdir(path) == -1) {
-    fprintf(stderr, "KLEE-REPLAY: ERROR: Cannot create file %s (exists, is dir, can't remove)\n", path);
-    perror("rmdir");
-    return -1;
-  }
-
-  return 0;
-}
-
-static void delete_file(const char *path, int recurse) {
-  if (unlink(path) < 0 && errno != ENOENT) {
-    if (errno == EISDIR) {
-      delete_dir(path, 1);
-    } else {
-      fprintf(stderr, "KLEE-REPLAY: ERROR: Cannot create file %s (already exists)\n", path);
-      perror("unlink");
-    }
-  }
-}
-
 static void create_file(int target_fd,
                         const char *target_name,
                         exe_disk_file_t *dfile,
@@ -382,8 +343,6 @@ static void create_file(int target_fd,
 
   target = tmpname;
 
-  delete_file(target, 1);
-
   // XXX get rid of me once a reasonable solution is found
   s->st_uid = geteuid();
   s->st_gid = getegid();