Merge pull request #8178 from tautschnig/bugfixes/remove-returns-loc-nr

remove_returns: do not lose location numbers
diffblue · Feb 2, 2024 · 5d85d38 · 5d85d38
2 parents f034dbb + a235b44
commit 5d85d38
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/goto-programs/remove_returns.cpp b/src/goto-programs/remove_returns.cpp
@@ -130,8 +130,8 @@ void remove_returnst::replace_returns(
 
         // now turn the `return' into `assignment'
         auto labels = std::move(instruction.labels);
-        instruction = goto_programt::make_assignment(
-          assignment, instruction.source_location());
+        instruction.clear(goto_program_instruction_typet::ASSIGN);
+        instruction.code_nonconst() = std::move(assignment);
         instruction.labels = std::move(labels);
       }
       else