Mark parameters (and their symbols) as such

Author: tautschnig

src/cpp/cpp_declarator.h

@@ -45,6 +45,16 @@ class cpp_declaratort:public exprt
     return static_cast<const exprt &>(find(ID_value));
   }
 
+  bool get_is_parameter() const
+  {
+    return get_bool(ID_is_parameter);
+  }
+
+  void set_is_parameter(bool is_parameter)
+  {
+    set(ID_is_parameter, is_parameter);
+  }
+
   // initializers for function arguments
   exprt &init_args() { return static_cast<exprt&>(add("init_args")); }
   const exprt &init_args() const

src/cpp/cpp_declarator_converter.cpp

@@ -436,6 +436,7 @@ symbolt &cpp_declarator_convertert::convert_new_symbol(
   symbol.base_name=base_name;
   symbol.value=declarator.value();
   symbol.location=declarator.name().source_location();
+  symbol.is_parameter = declarator.get_is_parameter();
   symbol.mode=linkage_spec==ID_auto?ID_cpp:linkage_spec;
   symbol.module=cpp_typecheck.module;
   symbol.type=final_type;

src/cpp/parse.cpp

@@ -4058,6 +4058,8 @@ bool Parser::rArgDeclaration(cpp_declarationt &declaration)
   if(!rDeclarator(arg_declarator, kArgDeclarator, false, true))
     return false;
 
+  arg_declarator.set_is_parameter(true);
+
   declaration.declarators().push_back(arg_declarator);
 
   int t=lex.LookAhead(0);