introduce a ranged for

Daniel Kroening · Daniel Kroening · commit 4a27d8e35ae4 · 2019-04-10T13:54:50.000-07:00
diff --git a/src/solvers/lowering/functions.cpp b/src/solvers/lowering/functions.cpp
@@ -19,10 +19,8 @@ void functionst::record(const function_application_exprt &function_application)
 
 void functionst::add_function_constraints()
 {
-  for(function_mapt::const_iterator it = function_map.begin();
-      it != function_map.end();
-      it++)
-    add_function_constraints(it->second);
+  for(const auto & function : function_map)
+    add_function_constraints(function.second);
 }
 
 exprt functionst::arguments_equal(

Original file line number	Diff line number	Diff line change
`@@ -19,10 +19,8 @@ void functionst::record(const function_application_exprt &function_application)`
`19`	`19`
`20`	`20`	`void functionst::add_function_constraints()`
`21`	`21`	`{`
`22`		`- for(function_mapt::const_iterator it = function_map.begin();`
`23`		`- it != function_map.end();`
`24`		`- it++)`
`25`		`- add_function_constraints(it->second);`
	`22`	`+ for(const auto & function : function_map)`
	`23`	`+ add_function_constraints(function.second);`
`26`	`24`	`}`
`27`	`25`
`28`	`26`	`exprt functionst::arguments_equal(`