Merge pull request #603 from diffblue/exception-constructors

copy constructors for exception classes

Author: tautschnig

src/ebmc/ebmc_error.h

@@ -16,6 +16,16 @@ Author: Daniel Kroening, dkr@amazon.com
 class ebmc_errort
 {
 public:
+  ebmc_errort() = default;
+  ebmc_errort(const ebmc_errort &other)
+  {
+    // ostringstream does not have a copy constructor
+    message << other.message.str();
+    __exit_code = other.__exit_code;
+    __location = other.__location;
+  }
+  ebmc_errort(ebmc_errort &&) = default;
+
   std::string what() const
   {
     return message.str();

src/verilog/verilog_preprocessor_error.h

@@ -15,6 +15,14 @@ Author: Daniel Kroening, kroening@kroening.com
 class verilog_preprocessor_errort
 {
 public:
+  verilog_preprocessor_errort() = default;
+  verilog_preprocessor_errort(verilog_preprocessor_errort &&) = default;
+  verilog_preprocessor_errort(const verilog_preprocessor_errort &other)
+  {
+    // ostringstream does not have a copy constructor
+    message << other.message.str();
+  }
+
   std::string what() const
   {
     return message.str();