Merge pull request diffblue#1517 from NathanJPhillips/bugfix/journaling-symbol-table-constructor

Daniel Kroening · web-flow · commit 0729e3dac9e4 · 2017-10-25T19:10:13.000+01:00
Replace broken copy constructor with move constructor
diff --git a/src/util/symbol_table_writer.h b/src/util/symbol_table_writer.h
@@ -54,8 +54,13 @@ class journalling_symbol_table_writert
 
 public:
   journalling_symbol_table_writert(
-    const journalling_symbol_table_writert &other):
-    base_symbol_table(other.base_symbol_table)
+    const journalling_symbol_table_writert &other)=delete;
+
+  journalling_symbol_table_writert(journalling_symbol_table_writert &&other)
+  : base_symbol_table(other.base_symbol_table),
+    inserted(std::move(other.inserted)),
+    updated(std::move(other.updated)),
+    removed(std::move(other.removed))
   {
   }
 

Original file line number	Diff line number	Diff line change
`@@ -54,8 +54,13 @@ class journalling_symbol_table_writert`
`54`	`54`
`55`	`55`	`public:`
`56`	`56`	`journalling_symbol_table_writert(`
`57`		`- const journalling_symbol_table_writert &other):`
`58`		`- base_symbol_table(other.base_symbol_table)`
	`57`	`+ const journalling_symbol_table_writert &other)=delete;`
	`58`	`+`
	`59`	`+ journalling_symbol_table_writert(journalling_symbol_table_writert &&other)`
	`60`	`+ : base_symbol_table(other.base_symbol_table),`
	`61`	`+ inserted(std::move(other.inserted)),`
	`62`	`+ updated(std::move(other.updated)),`
	`63`	`+ removed(std::move(other.removed))`
`59`	`64`	`{`
`60`	`65`	`}`
`61`	`66`