Merge pull request #2477 from tautschnig/vs-string-abstraction

Daniel Kroening · web-flow · commit 3703974fe6b1 · 2018-06-26T08:58:03.000+01:00
Remove unused parameter in string abstraction
diff --git a/src/goto-programs/string_abstraction.cpp b/src/goto-programs/string_abstraction.cpp
@@ -469,7 +469,7 @@ goto_programt::targett string_abstractiont::abstract(
     break;
 
   case FUNCTION_CALL:
-    abstract_function_call(dest, it);
+    abstract_function_call(it);
     break;
 
   case RETURN:
@@ -528,7 +528,6 @@ goto_programt::targett string_abstractiont::abstract_assign(
 }
 
 void string_abstractiont::abstract_function_call(
-  goto_programt &dest,
   goto_programt::targett target)
 {
   code_function_callt &call=to_code_function_call(target->code);
diff --git a/src/goto-programs/string_abstraction.h b/src/goto-programs/string_abstraction.h
@@ -87,7 +87,7 @@ class string_abstractiont:public messaget
     const exprt &lhs,
     const exprt &rhs);
 
-  void abstract_function_call(goto_programt &dest, goto_programt::targett it);
+  void abstract_function_call(goto_programt::targett it);
 
   goto_programt::targett value_assignments(goto_programt &dest,
       goto_programt::targett it,

Original file line number	Diff line number	Diff line change
`@@ -469,7 +469,7 @@ goto_programt::targett string_abstractiont::abstract(`
`469`	`469`	`break;`
`470`	`470`
`471`	`471`	`case FUNCTION_CALL:`
`472`		`- abstract_function_call(dest, it);`
	`472`	`+ abstract_function_call(it);`
`473`	`473`	`break;`
`474`	`474`
`475`	`475`	`case RETURN:`
`@@ -528,7 +528,6 @@ goto_programt::targett string_abstractiont::abstract_assign(`
`528`	`528`	`}`
`529`	`529`
`530`	`530`	`void string_abstractiont::abstract_function_call(`
`531`		`- goto_programt &dest,`
`532`	`531`	`goto_programt::targett target)`
`533`	`532`	`{`
`534`	`533`	`code_function_callt &call=to_code_function_call(target->code);`