Merge pull request diffblue#126 from diffblue/nathan/cleanup/pass-fn-map-by-ref

Pass function map by reference

Author: NathanJPhillips

src/taint-analysis/taint_rules.cpp

@@ -44,7 +44,7 @@ void taint_sink_rulet::apply(
 
 std::unique_ptr<taint_rulest> taint_rulest::load(
   const jsont &root,
-  goto_functionst::function_mapt function_map,
+  const goto_functionst::function_mapt &function_map,
   taint_tokent::named_tokenst &named_tokens,
   message_handlert &message_handler)
 {
@@ -351,7 +351,7 @@ std::unique_ptr<taint_rulest> taint_rulest::load(
 
 std::unique_ptr<taint_rulest> taint_rulest::load(
   const std::string &filename,
-  goto_functionst::function_mapt function_map,
+  const goto_functionst::function_mapt &function_map,
   taint_tokent::named_tokenst &named_tokens,
   message_handlert &message_handler)
 {

src/taint-analysis/taint_rules.h

@@ -360,7 +360,7 @@ class taint_rulest
   \*******************************************************************/
   static std::unique_ptr<taint_rulest> load(
     const jsont &root,
-    goto_functionst::function_mapt function_map,
+    const goto_functionst::function_mapt &function_map,
     taint_tokent::named_tokenst &named_tokens,
     message_handlert &message_handler);
 
@@ -384,7 +384,7 @@ class taint_rulest
   \*******************************************************************/
   static std::unique_ptr<taint_rulest> load(
     const std::string &filename,
-    goto_functionst::function_mapt function_map,
+    const goto_functionst::function_mapt &function_map,
     taint_tokent::named_tokenst &named_tokens,
     message_handlert &message_handler);
 };