CONTRACTS: fix missing source location

Remi Delmas · Remi Delmas · commit c51394dfdfc5 · 2023-05-10T21:14:32.000Z
diff --git a/src/goto-instrument/contracts/dynamic-frames/dfcc_wrapper_program.cpp b/src/goto-instrument/contracts/dynamic-frames/dfcc_wrapper_program.cpp
@@ -797,7 +797,8 @@ void dfcc_wrapper_programt::encode_havoced_function_call()
     write_set_checks.add(goto_programt::make_dead(check_var, wrapper_sl));
   }
 
-  auto label_instruction = write_set_checks.add(goto_programt::make_skip());
+  auto label_instruction =
+    write_set_checks.add(goto_programt::make_skip(wrapper_sl));
   goto_instruction->complete_goto(label_instruction);
 
   code_function_callt havoc_call(

Original file line number	Diff line number	Diff line change
`@@ -797,7 +797,8 @@ void dfcc_wrapper_programt::encode_havoced_function_call()`
`797`	`797`	`write_set_checks.add(goto_programt::make_dead(check_var, wrapper_sl));`
`798`	`798`	`}`
`799`	`799`
`800`		`- auto label_instruction = write_set_checks.add(goto_programt::make_skip());`
	`800`	`+ auto label_instruction =`
	`801`	`+ write_set_checks.add(goto_programt::make_skip(wrapper_sl));`
`801`	`802`	`goto_instruction->complete_goto(label_instruction);`
`802`	`803`
`803`	`804`	`code_function_callt havoc_call(`