Revert "Replace file_util.{h,cpp} by std::filesystem"

This reverts commit e8cbe9d.

Author: tautschnig

jbmc/src/java_bytecode/java_class_loader_base.cpp

@@ -8,15 +8,15 @@ Author: Daniel Kroening, [email protected]
 
 #include "java_class_loader_base.h"
 
-#include <util/message.h>
-#include <util/prefix.h>
-#include <util/suffix.h>
-
 #include "jar_file.h"
 #include "java_bytecode_parse_tree.h"
 #include "java_bytecode_parser.h"
 
-#include <filesystem>
+#include <util/file_util.h>
+#include <util/message.h>
+#include <util/prefix.h>
+#include <util/suffix.h>
+
 #include <fstream>
 
 void java_class_loader_baset::add_classpath_entry(
@@ -40,7 +40,7 @@ void java_class_loader_baset::add_classpath_entry(
   }
   else
   {
-    if(std::filesystem::is_directory(path))
+    if(is_directory(path))
     {
       classpath_entries.push_back(
         classpath_entryt(classpath_entryt::DIRECTORY, path));
@@ -197,8 +197,7 @@ java_class_loader_baset::get_class_from_directory(
 {
   // Look in the given directory
   const std::string class_file = class_name_to_os_file(class_name);
-  const std::string full_path =
-    std::filesystem::path(path).append(class_file).string();
+  const std::string full_path = concat_dir_file(path, class_file);
 
   if(std::ifstream(full_path))
   {

jbmc/unit/java-testing-utils/load_java_class.cpp

@@ -8,18 +8,19 @@ Author: Diffblue Ltd.
 
 #include "load_java_class.h"
 
+#include <iostream>
+#include <testing-utils/free_form_cmdline.h>
+#include <testing-utils/message.h>
+#include <testing-utils/use_catch.h>
+
 #include <util/config.h>
 #include <util/options.h>
 #include <util/suffix.h>
 
-#include <java_bytecode/java_bytecode_language.h>
 #include <java_bytecode/lazy_goto_model.h>
-#include <testing-utils/free_form_cmdline.h>
-#include <testing-utils/message.h>
-#include <testing-utils/use_catch.h>
 
-#include <filesystem>
-#include <iostream>
+#include <java_bytecode/java_bytecode_language.h>
+#include <util/file_util.h>
 
 /// Go through the process of loading, type-checking and finalising loading a
 /// specific class file to build the symbol table. The functions are converted
@@ -148,7 +149,7 @@ goto_modelt load_goto_model_from_java_class(
   // Log the working directory to help people identify the common error
   // of wrong working directory (should be the `unit` directory when running
   // the unit tests).
-  std::string path = std::filesystem::current_path().string();
+  std::string path = get_current_working_directory();
   INFO("Working directory: " << path);
 
   // if this fails it indicates the class was not loaded

src/crangler/c_wrangler.cpp

@@ -17,6 +17,7 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/cprover_prefix.h>
 #include <util/exception_utils.h>
+#include <util/file_util.h>
 #include <util/json.h>
 #include <util/optional.h>
 #include <util/prefix.h>

src/goto-analyzer/unreachable_instructions.cpp

@@ -13,6 +13,7 @@ Date: April 2016
 
 #include "unreachable_instructions.h"
 
+#include <util/file_util.h>
 #include <util/json_irep.h>
 #include <util/options.h>
 #include <util/xml.h>
@@ -22,8 +23,6 @@ Date: April 2016
 #include <analyses/ai.h>
 #include <analyses/cfg_dominators.h>
 
-#include <filesystem>
-
 typedef std::map<unsigned, goto_programt::const_targett> dead_mapt;
 
 static void unreachable_instructions(
@@ -107,10 +106,9 @@ file_name_string_opt(const source_locationt &source_location)
   if(source_location.get_file().empty())
     return {};
 
-  return std::filesystem::path(
-           id2string(source_location.get_working_directory()))
-    .append(id2string(source_location.get_file()))
-    .string();
+  return concat_dir_file(
+    id2string(source_location.get_working_directory()),
+    id2string(source_location.get_file()));
 }
 
 static void add_to_json(

src/goto-cc/as_mode.cpp

@@ -19,8 +19,12 @@ Author: Michael Tautschnig
 #include <sysexits.h>
 #endif
 
+#include <fstream>
+#include <iostream>
+
 #include <util/cmdline.h>
 #include <util/config.h>
+#include <util/file_util.h>
 #include <util/get_base_name.h>
 #include <util/run.h>
 #include <util/tempdir.h>
@@ -30,10 +34,6 @@ Author: Michael Tautschnig
 #include "goto_cc_cmdline.h"
 #include "hybrid_binary.h"
 
-#include <filesystem>
-#include <fstream>
-#include <iostream>
-
 static std::string assembler_name(
   const cmdlinet &cmdline,
   const std::string &base_name)
@@ -303,9 +303,9 @@ int as_modet::as_hybrid_binary(const compilet &compiler)
   std::string saved = output_file + ".goto-cc-saved";
   try
   {
-    std::filesystem::rename(output_file, saved);
+    file_rename(output_file, saved);
   }
-  catch(const std::filesystem::filesystem_error &e)
+  catch(const cprover_exception_baset &e)
   {
     log.error() << "Rename failed: " << e.what() << messaget::eom;
     return 1;

src/goto-cc/compile.cpp

@@ -13,8 +13,13 @@ Date: June 2006
 
 #include "compile.h"
 
+#include <cstring>
+#include <fstream>
+#include <iostream>
+
 #include <util/cmdline.h>
 #include <util/config.h>
+#include <util/file_util.h>
 #include <util/get_base_name.h>
 #include <util/prefix.h>
 #include <util/run.h>
@@ -23,11 +28,6 @@ Date: June 2006
 #include <util/tempfile.h>
 #include <util/version.h>
 
-#include <cstring>
-#include <filesystem>
-#include <fstream>
-#include <iostream>
-
 #ifdef _MSC_VER
 #  include <util/unicode.h>
 #endif
@@ -222,14 +222,11 @@ bool compilet::add_files_from_archive(
     tstr = get_temporary_directory("goto-cc.XXXXXX");
 
     tmp_dirs.push_back(tstr);
-    std::filesystem::current_path(tmp_dirs.back());
+    set_current_path(tmp_dirs.back());
 
     // unpack now
-    int ret = run(
-      "ar",
-      {"ar",
-       "x",
-       std::filesystem::path(working_directory).append(file_name).string()});
+    int ret =
+      run("ar", {"ar", "x", concat_dir_file(working_directory, file_name)});
     if(ret != 0)
     {
       log.error() << "Failed to extract archive " << file_name << messaget::eom;
@@ -241,9 +238,7 @@ bool compilet::add_files_from_archive(
   temporary_filet tmp_file_out("", "");
   int ret = run(
     "ar",
-    {"ar",
-     "t",
-     std::filesystem::path(working_directory).append(file_name).string()},
+    {"ar", "t", concat_dir_file(working_directory, file_name)},
     "",
     tmp_file_out(),
     "");
@@ -258,7 +253,7 @@ bool compilet::add_files_from_archive(
 
   while(!in.fail() && std::getline(in, line))
   {
-    std::string t = std::filesystem::path(tstr).append(line).string();
+    std::string t = concat_dir_file(tstr, line);
 
     if(is_goto_binary(t, log.get_message_handler()))
       object_files.push_back(t);
@@ -268,7 +263,7 @@ bool compilet::add_files_from_archive(
   }
 
   if(!thin_archive)
-    std::filesystem::current_path(working_directory);
+    set_current_path(working_directory);
 
   return false;
 }
@@ -282,18 +277,15 @@ bool compilet::find_library(const std::string &name)
 
   for(const auto &library_path : library_paths)
   {
-    library_file_name =
-      std::filesystem::path(library_path).append("lib" + name + ".a").string();
+    library_file_name = concat_dir_file(library_path, "lib" + name + ".a");
 
     std::ifstream in(library_file_name);
 
     if(in.is_open())
       return !add_input_file(library_file_name);
     else
     {
-      library_file_name = std::filesystem::path(library_path)
-                            .append("lib" + name + ".so")
-                            .string();
+      library_file_name = concat_dir_file(library_path, "lib" + name + ".so");
 
       switch(detect_file_type(library_file_name, log.get_message_handler()))
       {
@@ -422,11 +414,7 @@ optionalt<symbol_tablet> compilet::compile()
           get_base_name(file_name, true) + "." + object_file_extension;
 
         if(!output_directory_object.empty())
-        {
-          cfn = std::filesystem::path(output_directory_object)
-                  .append(file_name_with_obj_ext)
-                  .string();
-        }
+          cfn = concat_dir_file(output_directory_object, file_name_with_obj_ext);
         else
           cfn = file_name_with_obj_ext;
       }
@@ -669,7 +657,7 @@ compilet::compilet(cmdlinet &_cmdline, message_handlert &mh, bool Werror)
   mode=COMPILE_LINK_EXECUTABLE;
   echo_file_name=false;
   wrote_object=false;
-  working_directory = std::filesystem::current_path().string();
+  working_directory=get_current_working_directory();
 
   if(cmdline.isset("export-function-local-symbols"))
   {
@@ -686,7 +674,7 @@ compilet::~compilet()
   // clean up temp dirs
 
   for(const auto &dir : tmp_dirs)
-    std::filesystem::remove_all(dir);
+    delete_directory(dir);
 }
 
 std::size_t compilet::function_body_count(const goto_functionst &functions)

src/goto-cc/gcc_mode.cpp

@@ -19,8 +19,13 @@ Author: CM Wintersteiger, 2006
 #include <sysexits.h>
 #endif
 
+#include <iostream>
+#include <fstream>
+#include <numeric>
+
 #include <util/cmdline.h>
 #include <util/config.h>
+#include <util/file_util.h>
 #include <util/get_base_name.h>
 #include <util/invariant.h>
 #include <util/prefix.h>
@@ -34,11 +39,6 @@ Author: CM Wintersteiger, 2006
 #include "hybrid_binary.h"
 #include "linker_script_merge.h"
 
-#include <filesystem>
-#include <fstream>
-#include <iostream>
-#include <numeric>
-
 static std::string compiler_name(
   const cmdlinet &cmdline,
   const std::string &base_name)
@@ -945,9 +945,9 @@ int gcc_modet::gcc_hybrid_binary(compilet &compiler)
 
     try
     {
-      std::filesystem::rename(*it, bin_name);
+      file_rename(*it, bin_name);
     }
-    catch(const std::filesystem::filesystem_error &e)
+    catch(const cprover_exception_baset &e)
     {
       log.error() << "Rename failed: " << e.what() << messaget::eom;
       return 1;

src/goto-cc/hybrid_binary.cpp

@@ -11,12 +11,12 @@ Author: Michael Tautschnig, 2018
 
 #include "hybrid_binary.h"
 
+#include <util/file_util.h>
 #include <util/message.h>
 #include <util/run.h>
 #include <util/suffix.h>
 
 #include <cstring>
-#include <filesystem>
 
 #if defined(__APPLE__)
 #  include <sys/stat.h>
@@ -80,7 +80,7 @@ int hybrid_binary(
   }
 
   // delete the goto binary
-  bool remove_result = std::filesystem::remove(goto_binary_file);
+  bool remove_result = file_remove(goto_binary_file);
   if(!remove_result)
   {
     message.error() << "Remove failed: " << std::strerror(errno)
@@ -140,7 +140,7 @@ int hybrid_binary(
   }
 
   // delete the goto binary
-  bool remove_result = std::filesystem::remove(goto_binary_file);
+  bool remove_result = file_remove(goto_binary_file);
   if(!remove_result)
   {
     message.error() << "Remove failed: " << std::strerror(errno)

src/goto-cc/ld_mode.cpp

@@ -19,8 +19,13 @@ Author: CM Wintersteiger, 2006
 #include <sysexits.h>
 #endif
 
+#include <cstring>
+#include <fstream>
+#include <iostream>
+
 #include <util/cmdline.h>
 #include <util/config.h>
+#include <util/file_util.h>
 #include <util/invariant.h>
 #include <util/run.h>
 
@@ -29,11 +34,6 @@ Author: CM Wintersteiger, 2006
 #include "hybrid_binary.h"
 #include "linker_script_merge.h"
 
-#include <cstring>
-#include <filesystem>
-#include <fstream>
-#include <iostream>
-
 static std::string
 linker_name(const cmdlinet &cmdline, const std::string &base_name)
 {
@@ -181,9 +181,9 @@ int ld_modet::ld_hybrid_binary(
 
   try
   {
-    std::filesystem::rename(output_file, goto_binary);
+    file_rename(output_file, goto_binary);
   }
-  catch(const std::filesystem::filesystem_error &e)
+  catch(const cprover_exception_baset &e)
   {
     log.error() << "Rename failed: " << e.what() << messaget::eom;
     return 1;