Replace iterator types by auto

Author: romainbrenguier

src/goto-symex/renaming_level.cpp

@@ -48,7 +48,7 @@ void symex_level1t::operator()(ssa_exprt &ssa_expr)
 
   const irep_idt l0_name = ssa_expr.get_l1_object_identifier();
 
-  current_namest::const_iterator it = current_names.find(l0_name);
+  auto it = current_names.find(l0_name);
   if(it == current_names.end())
     return;
 

src/goto-symex/symex_function_call.cpp

@@ -330,7 +330,7 @@ void goto_symext::pop_frame(statet &state)
     state.level1.restore_from(frame.old_level1);
 
     // clear function-locals from L2 renaming
-    for(renaming_levelt::current_namest::iterator c_it =
+    for(auto c_it =
           state.level2.current_names.begin();
         c_it != state.level2.current_names.end();) // no ++c_it
     {
@@ -344,7 +344,7 @@ void goto_symext::pop_frame(statet &state)
         ++c_it;
         continue;
       }
-      renaming_levelt::current_namest::iterator cur = c_it;
+      auto cur = c_it;
       ++c_it;
       state.level2.current_names.erase(cur);
     }
@@ -391,8 +391,7 @@ void goto_symext::locality(
     const irep_idt l0_name=ssa.get_identifier();
 
     // save old L1 name for popping the frame
-    symex_level1t::current_namest::const_iterator c_it =
-      state.level1.current_names.find(l0_name);
+    auto c_it = state.level1.current_names.find(l0_name);
 
     if(c_it!=state.level1.current_names.end())
       frame.old_level1[l0_name]=c_it->second;

src/goto-symex/symex_start_thread.cpp

@@ -52,8 +52,7 @@ void goto_symext::symex_start_thread(statet &state)
   // create a copy of the local variables for the new thread
   statet::framet &frame=state.top();
 
-  for(renaming_levelt::current_namest::const_iterator c_it =
-        state.level2.current_names.begin();
+  for(auto c_it = state.level2.current_names.begin();
       c_it != state.level2.current_names.end();
       ++c_it)
   {