WIP workaround for missing default rules in VS2013

Author: hannes-steffenhagen-diffblue

src/goto-programs/replace_function_bodies.cpp

@@ -347,6 +347,33 @@ replace_function_body_optionst parse_replace_function_body_optionst(
   return {function_regex, only_generate, std::move(replace_function_bodies)};
 }
 
+replace_function_body_optionst::replace_function_body_optionst(
+  std::regex functions_regex,
+  bool only_generate,
+  std::unique_ptr<replace_function_bodiest> replace_function_bodies)
+  : functions_regex(std::move(functions_regex)),
+    only_generate(only_generate),
+    replace_function_bodies(std::move(replace_function_bodies))
+{
+}
+
+replace_function_body_optionst::replace_function_body_optionst(
+  replace_function_body_optionst &&other)
+  : functions_regex(std::move(other.functions_regex)),
+    only_generate(other.only_generate),
+    replace_function_bodies(std::move(other.replace_function_bodies))
+{
+}
+
+replace_function_body_optionst &replace_function_body_optionst::
+operator=(replace_function_body_optionst &&other)
+{
+  functions_regex = std::move(other.functions_regex);
+  only_generate = other.only_generate;
+  replace_function_bodies = std::move(other.replace_function_bodies);
+  return *this;
+}
+
 /// Replace function bodies with some default behavior
 /// A list of currently accepted command line arguments
 /// + the type of bodies generated by them

src/goto-programs/replace_function_bodies.h

@@ -67,6 +67,24 @@ struct replace_function_body_optionst
   bool only_generate;
   /// The logic for how a body should be generated
   std::unique_ptr<replace_function_bodiest> replace_function_bodies;
+
+  replace_function_body_optionst() = delete;
+  replace_function_body_optionst(const replace_function_body_optionst &) =
+    delete;
+  replace_function_bodiest &
+  operator=(const replace_function_body_optionst &) = delete;
+
+  replace_function_body_optionst(
+    std::regex functions_regex,
+    bool only_generate,
+    std::unique_ptr<replace_function_bodiest> replace_function_bodies);
+
+  // VS2013 doesn't implement default move constructor/assignment
+  // Remove if/when we stop caring about VS2013
+  // https://msdn.microsoft.com/en-us/library/hh567368(v=vs.120).aspx#defaultedanddeleted
+  replace_function_body_optionst(replace_function_body_optionst &&other);
+  replace_function_body_optionst &
+  operator=(replace_function_body_optionst &&other);
 };
 
 replace_function_body_optionst parse_replace_function_body_optionst(