factor out common call graph unit test functions into header

Author: polgreen

unit/analyses/call_graph.cpp

@@ -14,34 +14,10 @@ Module: Unit test for call graph generation
 #include <analyses/call_graph_helpers.h>
 
 #include <util/symbol_table.h>
-#include <util/std_code.h>
 
 #include <goto-programs/goto_convert_functions.h>
 
-static symbolt create_void_function_symbol(
-  const irep_idt &name,
-  const codet &code)
-{
-  const code_typet void_function_type({}, empty_typet());
-  symbolt function;
-  function.name=name;
-  function.type=void_function_type;
-  function.mode=ID_java;
-  function.value=code;
-  return function;
-}
-
-static bool multimap_key_matches(
-  const std::multimap<irep_idt, irep_idt> &map,
-  const irep_idt &key,
-  const std::set<irep_idt> &values)
-{
-  auto matching_values=map.equal_range(key);
-  std::set<irep_idt> matching_set;
-  for(auto it=matching_values.first; it!=matching_values.second; ++it)
-    matching_set.insert(it->second);
-  return matching_set==values;
-}
+#include "call_graph_test_utils.h"
 
 SCENARIO("call_graph",
   "[core][util][call_graph]")

unit/analyses/call_graph_test_utils.h

@@ -0,0 +1,39 @@
+/*
+ * call_graph_test_utils.h
+ *
+ *  Created on: 25 Jun 2018
+ *      Author: polgreen
+ */
+
+#ifndef CPROVER_ANALYSES_CALL_GRAPH_TEST_UTILS_H
+#define CPROVER_ANALYSES_CALL_GRAPH_TEST_UTILS_H
+
+#include <analyses/call_graph.h>
+
+#include <util/std_code.h>
+
+static symbolt
+create_void_function_symbol(const irep_idt &name, const codet &code)
+{
+  const code_typet void_function_type({}, empty_typet());
+  symbolt function;
+  function.name = name;
+  function.type = void_function_type;
+  function.mode = ID_java;
+  function.value = code;
+  return function;
+}
+
+static bool multimap_key_matches(
+  const std::multimap<irep_idt, irep_idt> &map,
+  const irep_idt &key,
+  const std::set<irep_idt> &values)
+{
+  auto matching_values = map.equal_range(key);
+  std::set<irep_idt> matching_set;
+  for(auto it = matching_values.first; it != matching_values.second; ++it)
+    matching_set.insert(it->second);
+  return matching_set == values;
+}
+
+#endif /* CPROVER_ANALYSES_CALL_GRAPH_TEST_UTILS_H */

unit/analyses/dependence_graph.cpp

@@ -18,18 +18,7 @@ Author: Chris Smowton, [email protected]
 #include <langapi/mode.h>
 #include <ansi-c/ansi_c_language.h>
 
-static symbolt create_void_function_symbol(
-  const irep_idt &name,
-  const codet &code)
-{
-  const code_typet void_function_type({}, empty_typet());
-  symbolt function;
-  function.name = name;
-  function.type = void_function_type;
-  function.mode = ID_java;
-  function.value = code;
-  return function;
-}
+#include "call_graph_test_utils.h"
 
 const std::set<goto_programt::const_targett>&
     dependence_graph_test_get_control_deps(const dep_graph_domaint &domain)

unit/analyses/disconnect_unreachable_nodes_in_graph.cpp

@@ -10,37 +10,13 @@ Module: Unit test for graph class functions
 
 #include <testing-utils/catch.hpp>
 
-#include <analyses/call_graph.h>
 #include <analyses/call_graph_helpers.h>
 
-#include <util/std_code.h>
 #include <util/symbol_table.h>
 
 #include <goto-programs/goto_convert_functions.h>
 
-static symbolt
-create_void_function_symbol(const irep_idt &name, const codet &code)
-{
-  const code_typet void_function_type({}, empty_typet());
-  symbolt function;
-  function.name = name;
-  function.type = void_function_type;
-  function.mode = ID_java;
-  function.value = code;
-  return function;
-}
-
-static bool multimap_key_matches(
-  const std::multimap<irep_idt, irep_idt> &map,
-  const irep_idt &key,
-  const std::set<irep_idt> &values)
-{
-  auto matching_values = map.equal_range(key);
-  std::set<irep_idt> matching_set;
-  for(auto it = matching_values.first; it != matching_values.second; ++it)
-    matching_set.insert(it->second);
-  return matching_set == values;
-}
+#include "call_graph_test_utils.h"
 
 SCENARIO("graph", "[core][util][graph]")
 {