Use emplace to avoid copy

tautschnig · tautschnig · commit 3e2fce56252f · 2018-06-20T10:31:34.000Z
diff --git a/src/goto-programs/remove_function_pointers.cpp b/src/goto-programs/remove_function_pointers.cpp
@@ -106,7 +106,7 @@ remove_function_pointerst::remove_function_pointerst(
 
   // build type map
   forall_goto_functions(f_it, goto_functions)
-    type_map[f_it->first]=f_it->second.type;
+    type_map.emplace(f_it->first, f_it->second.type);
 }
 
 bool remove_function_pointerst::arg_is_type_compatible(

Original file line number	Diff line number	Diff line change
`@@ -106,7 +106,7 @@ remove_function_pointerst::remove_function_pointerst(`
`106`	`106`
`107`	`107`	`// build type map`
`108`	`108`	`forall_goto_functions(f_it, goto_functions)`
`109`		`- type_map[f_it->first]=f_it->second.type;`
	`109`	`+ type_map.emplace(f_it->first, f_it->second.type);`
`110`	`110`	`}`
`111`	`111`
`112`	`112`	`bool remove_function_pointerst::arg_is_type_compatible(`