c++: simplify a loop

Daniel Kroening · Daniel Kroening · commit 76f145ddcf24 · 2018-09-30T11:41:04.000+01:00
diff --git a/src/cpp/cpp_typecheck_fargs.cpp b/src/cpp/cpp_typecheck_fargs.cpp
@@ -34,12 +34,7 @@ void cpp_typecheck_fargst::build(
   const side_effect_expr_function_callt &function_call)
 {
   in_use=true;
-
-  operands.clear();
-  operands.reserve(function_call.op1().operands().size());
-
-  for(const auto &op : function_call.op1().operands())
-    operands.push_back(op);
+  operands = function_call.op1().operands();
 }
 
 bool cpp_typecheck_fargst::match(

Original file line number	Diff line number	Diff line change
`@@ -34,12 +34,7 @@ void cpp_typecheck_fargst::build(`
`34`	`34`	`const side_effect_expr_function_callt &function_call)`
`35`	`35`	`{`
`36`	`36`	`in_use=true;`
`37`		`-`
`38`		`- operands.clear();`
`39`		`- operands.reserve(function_call.op1().operands().size());`
`40`		`-`
`41`		`- for(const auto &op : function_call.op1().operands())`
`42`		`- operands.push_back(op);`
	`37`	`+ operands = function_call.op1().operands();`
`43`	`38`	`}`
`44`	`39`
`45`	`40`	`bool cpp_typecheck_fargst::match(`