Pass the whole parameter in when generating the symbol

This allows for the symbol builder to inspect other properties of the
type (e.g. is is a this parameter).

Author: thk123

src/ansi-c/ansi_c_language.cpp

@@ -138,7 +138,7 @@ Function: ansi_c_languaget::build_stub_parameter_symbol
 parameter_symbolt ansi_c_languaget::build_stub_parameter_symbol(
   const symbolt &function_symbol,
   size_t parameter_index,
-  const typet &parameter_type)
+  const code_typet::parametert &parameter)
 {
   irep_idt base_name="stub_ignored_arg"+i2string(parameter_index);
   irep_idt identifier=id2string(function_symbol.name)+"::"+id2string(base_name);
@@ -147,7 +147,7 @@ parameter_symbolt ansi_c_languaget::build_stub_parameter_symbol(
   parameter_symbol.base_name=base_name;
   parameter_symbol.mode=ID_C;
   parameter_symbol.name=identifier;
-  parameter_symbol.type=parameter_type;
+  parameter_symbol.type=parameter.type();
 
   return parameter_symbol;
 }

src/ansi-c/ansi_c_language.h

@@ -83,7 +83,7 @@ class ansi_c_languaget:public languaget
   virtual parameter_symbolt build_stub_parameter_symbol(
     const symbolt &function_symbol,
     size_t parameter_index,
-    const typet &parameter_type) override;
+    const code_typet::parametert &parameter) override;
 
   ansi_c_parse_treet parse_tree;
   std::string parse_path;

src/util/language.cpp

@@ -215,7 +215,7 @@ Function: languaget::build_stub_parameter_symbol
 parameter_symbolt languaget::build_stub_parameter_symbol(
   const symbolt &function_symbol,
   size_t parameter_index,
-  const typet &parameter_type)
+  const code_typet::parametert &parameter)
 {
   error() << "language " << id()
           << " doesn't implement build_stub_parameter_symbol. "
@@ -280,7 +280,7 @@ void languaget::generate_opaque_parameter_symbols(
   {
     code_typet::parametert &param=parameters[i];
     const parameter_symbolt &param_symbol=
-      build_stub_parameter_symbol(function_symbol, i, param.type());
+      build_stub_parameter_symbol(function_symbol, i, param);
 
     param.set_base_name(param_symbol.base_name);
     param.set_identifier(param_symbol.name);

src/util/language.h

@@ -13,6 +13,7 @@ Author: Daniel Kroening, [email protected]
 #include <iosfwd>
 #include <string>
 #include <util/symbol.h>
+#include <util/std_types.h>
 
 #include "message.h"
 
@@ -112,7 +113,7 @@ class languaget:public messaget
   virtual parameter_symbolt build_stub_parameter_symbol(
     const symbolt &function_symbol,
     size_t parameter_index,
-    const typet &parameter_type);
+    const code_typet::parametert &parameter);
 private:
   bool is_symbol_opaque_function(const symbolt &symbol);
   void generate_opaque_parameter_symbols(