Refactored method for generating return symbol name to languaget

The name for the return symbol is now generated by languaget. This is so
the name is consistent across different language implementations.

Author: thk123

src/ansi-c/ansi_c_language.cpp

@@ -95,9 +95,7 @@ irep_idt ansi_c_languaget::generate_opaque_stub_body(
   if(return_type.id()!=ID_nil)
   {
     auxiliary_symbolt return_symbol;
-    std::ostringstream return_symbol_name_builder;
-    return_symbol_name_builder << "to_return_" << symbol.name;
-    return_symbol.name=return_symbol_name_builder.str();
+    return_symbol.name=get_stub_return_symbol_name(symbol.name);
     return_symbol.base_name=return_symbol.name;
     return_symbol.mode=ID_C;
     return_symbol.type=return_type;

src/util/language.cpp

@@ -224,6 +224,28 @@ parameter_symbolt languaget::build_stub_parameter_symbol(
   return parameter_symbolt();
 }
 
+/*******************************************************************\
+
+Function: languaget::get_stub_return_symbol_name
+
+  Inputs:
+          function_id - the function that has a return value
+
+ Outputs: the identifier to use for the symbol that will store the
+          return value of this function.
+
+ Purpose: To get the name of the symbol to be used for the return value
+          of the function. Generates a name like to_return_function_name
+
+\*******************************************************************/
+
+irep_idt languaget::get_stub_return_symbol_name(const irep_idt &function_id)
+{
+  std::ostringstream return_symbol_name_builder;
+  return_symbol_name_builder << "to_return_" << function_id;
+  return return_symbol_name_builder.str();
+}
+
 
 /*******************************************************************\
 

src/util/language.h

@@ -114,6 +114,9 @@ class languaget:public messaget
     const symbolt &function_symbol,
     size_t parameter_index,
     const code_typet::parametert &parameter);
+
+  static irep_idt get_stub_return_symbol_name(const irep_idt &function_id);
+
 private:
   bool is_symbol_opaque_function(const symbolt &symbol);
   void generate_opaque_parameter_symbols(