Fix more catch std::string occurances

Author: NathanJPhillips

src/cbmc/cbmc_parse_options.cpp

@@ -434,7 +434,7 @@ int cbmc_parse_optionst::doit()
     return 6; // should contemplate EX_SOFTWARE from sysexits.h
   }
 
-  catch(const std::string error_msg)
+  catch(const std::string &error_msg)
   {
     error() << error_msg << eom;
     return 6; // should contemplate EX_SOFTWARE from sysexits.h
@@ -586,7 +586,7 @@ bool cbmc_parse_optionst::set_properties()
     return true;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return true;
@@ -648,7 +648,7 @@ int cbmc_parse_optionst::get_goto_program(
     return 6;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return 6;
@@ -708,7 +708,7 @@ void cbmc_parse_optionst::preprocessing()
     error() << e << eom;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
   }
@@ -840,7 +840,7 @@ bool cbmc_parse_optionst::process_goto_program(
     return true;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return true;

src/clobber/clobber_parse_options.cpp

@@ -154,7 +154,7 @@ int clobber_parse_optionst::doit()
     return 0;
   }
 
-  catch(const std::string error_msg)
+  catch(const std::string &error_msg)
   {
     error() << error_msg << messaget::eom;
     return 8;

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -321,7 +321,7 @@ bool goto_analyzer_parse_optionst::set_properties()
     return true;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return true;
@@ -403,7 +403,7 @@ bool goto_analyzer_parse_optionst::process_goto_program(
     return true;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return true;

src/goto-cc/goto_cc_mode.cpp

@@ -88,7 +88,7 @@ int goto_cc_modet::main(int argc, const char **argv)
     return EX_SOFTWARE;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return EX_SOFTWARE;

src/goto-diff/goto_diff_parse_options.cpp

@@ -449,7 +449,7 @@ bool goto_diff_parse_optionst::process_goto_program(
     return true;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return true;

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -813,7 +813,7 @@ int goto_instrument_parse_optionst::doit()
     return 11;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return 11;

src/goto-programs/initialize_goto_model.cpp

@@ -184,7 +184,7 @@ bool initialize_goto_model(
     msg.error() << e << messaget::eom;
     return true;
   }
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     msg.error() << e << messaget::eom;
     return true;

src/jbmc/jbmc_parse_options.cpp

@@ -413,7 +413,7 @@ int jbmc_parse_optionst::doit()
     return 6; // should contemplate EX_SOFTWARE from sysexits.h
   }
 
-  catch(const std::string error_msg)
+  catch(const std::string &error_msg)
   {
     error() << error_msg << eom;
     return 6; // should contemplate EX_SOFTWARE from sysexits.h
@@ -546,7 +546,7 @@ bool jbmc_parse_optionst::set_properties()
     return true;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return true;
@@ -608,7 +608,7 @@ int jbmc_parse_optionst::get_goto_program(
     return 6;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return 6;
@@ -772,7 +772,7 @@ bool jbmc_parse_optionst::process_goto_program(
     return true;
   }
 
-  catch(const std::string e)
+  catch(const std::string &e)
   {
     error() << e << eom;
     return true;

src/memory-models/mmcc_parse_options.cpp

@@ -64,7 +64,7 @@ int mmcc_parse_optionst::doit()
     std::cerr << error << '\n';
     return 10;
   }
-  catch(const std::string error)
+  catch(const std::string &error)
   {
     std::cerr << error << '\n';
     return 10;

unit/testing-utils/catch.hpp

@@ -7326,7 +7326,7 @@ namespace Catch {
             catch( std::exception& ex ) {
                 return ex.what();
             }
-            catch( std::string& msg ) {
+            catch(const std::string &msg) {
                 return msg;
             }
             catch( const char* msg ) {