Copy parameter identifiers when linking goto models

petr-bauch · petr-bauch · commit a2f7478585cd · 2019-05-03T16:59:57.000+01:00
When we are resolving conflicting names of function and the old function has
empty body.
diff --git a/src/goto-programs/link_goto_model.cpp b/src/goto-programs/link_goto_model.cpp
@@ -97,6 +97,8 @@ static bool link_functions(
         rename_symbols_in_function(src_func, final_id, rename_symbol);
 
         in_dest_symbol_table.body.swap(src_func.body);
+        in_dest_symbol_table.parameter_identifiers.swap(
+          src_func.parameter_identifiers);
         in_dest_symbol_table.type=src_func.type;
       }
       else if(src_func.body.instructions.empty() ||

Original file line number	Diff line number	Diff line change
`@@ -97,6 +97,8 @@ static bool link_functions(`
`97`	`97`	`rename_symbols_in_function(src_func, final_id, rename_symbol);`
`98`	`98`
`99`	`99`	`in_dest_symbol_table.body.swap(src_func.body);`
	`100`	`+ in_dest_symbol_table.parameter_identifiers.swap(`
	`101`	`+ src_func.parameter_identifiers);`
`100`	`102`	`in_dest_symbol_table.type=src_func.type;`
`101`	`103`	`}`
`102`	`104`	`else if(src_func.body.instructions.empty() \|\|`