Adding move constructors

Author: JohnDumbell

src/goto-symex/goto_symex_state.h

@@ -71,10 +71,28 @@ class goto_statet
   unsigned remaining_vccs = 0;
 
   /// Constructors
+  goto_statet() = default;
+  goto_statet &operator=(const goto_statet &other) = default;
+  goto_statet &operator=(goto_statet &&other) = default;
+  goto_statet(const goto_statet &other) = default;
+
   explicit goto_statet(const class goto_symex_statet &s);
   explicit goto_statet(const symex_targett::sourcet &_source) : source(_source)
   {
   }
+
+  goto_statet(goto_statet &&other)
+    : depth(other.depth),
+      level2(std::move(other.level2)),
+      value_set(std::move(other.value_set)),
+      guard(std::move(other.guard)),
+      source(std::move(other.source)),
+      propagation(std::move(other.propagation)),
+      atomic_section_id(other.atomic_section_id),
+      total_vccs(other.total_vccs),
+      remaining_vccs(other.remaining_vccs)
+  {
+  }
 };
 
 // stack frames -- these are used for function calls and

src/goto-symex/symex_target.h

@@ -53,6 +53,15 @@ class symex_targett
         pc(_goto_program.instructions.begin())
     {
     }
+
+    sourcet(sourcet &&other) noexcept
+      : thread_nr(other.thread_nr), function_id(other.function_id), pc(other.pc)
+    {
+    }
+
+    sourcet(const sourcet &other) = default;
+    sourcet &operator=(const sourcet &other) = default;
+    sourcet &operator=(sourcet &&other) = default;
   };
 
   enum class assignment_typet

src/pointer-analysis/value_set.h

@@ -45,6 +45,16 @@ class value_sett
   {
   }
 
+  value_sett(value_sett &&other)
+    : location_number(other.location_number), values(std::move(other.values))
+  {
+  }
+
+  value_sett(const value_sett &other) = default;
+
+  value_sett &operator=(const value_sett &other) = default;
+  value_sett &operator=(value_sett &&other) = default;
+
   virtual ~value_sett() = default;
 
   static bool field_sensitive(const irep_idt &id, const typet &type);