Avoid default construction of code_typet

tautschnig · Daniel Kroening · commit 8a32b9309bfd · 2019-01-25T22:17:31.000Z
This is deprecated.
diff --git a/src/goto-programs/remove_function_pointers.cpp b/src/goto-programs/remove_function_pointers.cpp
@@ -120,7 +120,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
`@@ -120,7 +120,7 @@ remove_function_pointerst::remove_function_pointerst(`
`120`	`120`
`121`	`121`	`// build type map`
`122`	`122`	`forall_goto_functions(f_it, goto_functions)`
`123`		`- type_map[f_it->first]=f_it->second.type;`
	`123`	`+ type_map.emplace(f_it->first, f_it->second.type);`
`124`	`124`	`}`
`125`	`125`
`126`	`126`	`bool remove_function_pointerst::arg_is_type_compatible(`