String abstraction requires remove_returns

tautschnig · tautschnig · commit 7300d07a1e4b · 2017-03-29T17:55:04.000+01:00
diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp
@@ -1190,6 +1190,9 @@ void goto_instrument_parse_optionst::instrument_goto_program()
 
   if(cmdline.isset("string-abstraction"))
   {
+    do_indirect_call_and_rtti_removal();
+    do_remove_returns();
+
     status() << "String Abstraction" << eom;
     string_abstraction(
       symbol_table,

Original file line number	Diff line number	Diff line change
`@@ -1190,6 +1190,9 @@ void goto_instrument_parse_optionst::instrument_goto_program()`
`1190`	`1190`
`1191`	`1191`	`if(cmdline.isset("string-abstraction"))`
`1192`	`1192`	`{`
	`1193`	`+ do_indirect_call_and_rtti_removal();`
	`1194`	`+ do_remove_returns();`
	`1195`	`+`
`1193`	`1196`	`status() << "String Abstraction" << eom;`
`1194`	`1197`	`string_abstraction(`
`1195`	`1198`	`symbol_table,`