Merge pull request diffblue#2440 from tautschnig/vs-list

tautschnig · web-flow · commit 7e4dd05a4206 · 2018-07-07T12:32:40.000+01:00
Remove unused parameter from list_calls_and_arguments
diff --git a/src/goto-instrument/call_sequences.cpp b/src/goto-instrument/call_sequences.cpp
@@ -270,7 +270,6 @@ void check_call_sequence(const goto_modelt &goto_model)
 
 static void list_calls_and_arguments(
   const namespacet &ns,
-  const irep_idt &function,
   const goto_programt &goto_program)
 {
   forall_goto_program_instructions(i_it, goto_program)
@@ -321,5 +320,5 @@ void list_calls_and_arguments(const goto_modelt &goto_model)
   const namespacet ns(goto_model.symbol_table);
 
   forall_goto_functions(f_it, goto_model.goto_functions)
-    list_calls_and_arguments(ns, f_it->first, f_it->second.body);
+    list_calls_and_arguments(ns, f_it->second.body);
 }

Original file line number	Diff line number	Diff line change
`@@ -270,7 +270,6 @@ void check_call_sequence(const goto_modelt &goto_model)`
`270`	`270`
`271`	`271`	`static void list_calls_and_arguments(`
`272`	`272`	`const namespacet &ns,`
`273`		`- const irep_idt &function,`
`274`	`273`	`const goto_programt &goto_program)`
`275`	`274`	`{`
`276`	`275`	`forall_goto_program_instructions(i_it, goto_program)`
`@@ -321,5 +320,5 @@ void list_calls_and_arguments(const goto_modelt &goto_model)`
`321`	`320`	`const namespacet ns(goto_model.symbol_table);`
`322`	`321`
`323`	`322`	`forall_goto_functions(f_it, goto_model.goto_functions)`
`324`		`- list_calls_and_arguments(ns, f_it->first, f_it->second.body);`
	`323`	`+ list_calls_and_arguments(ns, f_it->second.body);`
`325`	`324`	`}`