Add workaround for issue described in diffblue#6168.

NlightNFotis · NlightNFotis · commit 6919b934c0b2 · 2021-09-15T11:09:14.000+01:00
This fixes the infinite unwinding by adding calls to `do_indirect_call_and_rtti_removal()`
before the contracts code invocation in `goto-instrument/`.
diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp
@@ -1154,6 +1154,7 @@ void goto_instrument_parse_optionst::instrument_goto_program()
     cmdline.isset(FLAG_ENFORCE_CONTRACT) ||
     cmdline.isset(FLAG_ENFORCE_ALL_CONTRACTS))
   {
+    do_indirect_call_and_rtti_removal();
     code_contractst cont(goto_model, log);
 
     if(cmdline.isset(FLAG_REPLACE_CALL))

Original file line number	Diff line number	Diff line change
`@@ -1154,6 +1154,7 @@ void goto_instrument_parse_optionst::instrument_goto_program()`
`1154`	`1154`	`cmdline.isset(FLAG_ENFORCE_CONTRACT) \|\|`
`1155`	`1155`	`cmdline.isset(FLAG_ENFORCE_ALL_CONTRACTS))`
`1156`	`1156`	`{`
	`1157`	`+ do_indirect_call_and_rtti_removal();`
`1157`	`1158`	`code_contractst cont(goto_model, log);`
`1158`	`1159`
`1159`	`1160`	`if(cmdline.isset(FLAG_REPLACE_CALL))`