Use ranged-for instead of iterators

romainbrenguier · romainbrenguier · commit d2d7f69b95de · 2018-11-16T12:04:43.000Z
diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
@@ -225,11 +225,8 @@ class goto_symex_statet final
     void level2_get_variables(
       std::unordered_set<ssa_exprt, irep_hash> &vars) const
     {
-      for(level2t::current_namest::const_iterator
-          it=level2_current_names.begin();
-          it!=level2_current_names.end();
-          it++)
-        vars.insert(it->second.first);
+      for(const auto &pair : level2_current_names)
+        vars.insert(pair.second.first);
     }
 
     unsigned level2_current_count(const irep_idt &identifier) const

Original file line number	Diff line number	Diff line change
`@@ -225,11 +225,8 @@ class goto_symex_statet final`
`225`	`225`	`void level2_get_variables(`
`226`	`226`	`std::unordered_set<ssa_exprt, irep_hash> &vars) const`
`227`	`227`	`{`
`228`		`- for(level2t::current_namest::const_iterator`
`229`		`- it=level2_current_names.begin();`
`230`		`- it!=level2_current_names.end();`
`231`		`- it++)`
`232`		`- vars.insert(it->second.first);`
	`228`	`+ for(const auto &pair : level2_current_names)`
	`229`	`+ vars.insert(pair.second.first);`
`233`	`230`	`}`
`234`	`231`
`235`	`232`	`unsigned level2_current_count(const irep_idt &identifier) const`