From c65874fe73a6f382147892eddeb9059f63685baf Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Wed, 3 Nov 2021 16:47:56 +0000 Subject: [PATCH] output "SET RETURN VALUE" when displaying goto programs To avoid the impression that the 'set return value' instruction alters control flow, output "SET RETURN VALUE" instead of "RETURN" when displaying goto programs. --- src/goto-programs/goto_program.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/goto-programs/goto_program.cpp b/src/goto-programs/goto_program.cpp index 11bbef61ebf..cf00aeec64a 100644 --- a/src/goto-programs/goto_program.cpp +++ b/src/goto-programs/goto_program.cpp @@ -133,7 +133,7 @@ std::ostream &goto_programt::output_instruction( break; case SET_RETURN_VALUE: - out << "RETURN " << format(instruction.return_value()) << '\n'; + out << "SET RETURN VALUE " << format(instruction.return_value()) << '\n'; break; case DECL: