use ranged for over parameters

Author: Daniel Kroening

src/util/find_symbols.cpp

@@ -151,14 +151,10 @@ void find_symbols(kindt kind, const typet &src, find_symbols_sett &dest)
   {
     const code_typet &code_type=to_code_type(src);
     find_symbols(kind, code_type.return_type(), dest);
-    const code_typet::parameterst &parameters=code_type.parameters();
 
-    for(code_typet::parameterst::const_iterator
-        it=parameters.begin();
-        it!=parameters.end();
-        it++)
+    for(const auto &p : code_type.parameters())
     {
-      find_symbols(kind, *it, dest);
+      find_symbols(kind, p, dest);
 
       // irep_idt identifier=it->get_identifier();
       // if(!identifier.empty() && (kind==F_TYPE || kind==F_BOTH))

src/util/rename_symbol.cpp

@@ -151,21 +151,17 @@ bool rename_symbolt::rename(typet &dest) const
   {
     code_typet &code_type=to_code_type(dest);
     rename(code_type.return_type());
-    code_typet::parameterst &parameters=code_type.parameters();
 
-    for(code_typet::parameterst::iterator it = parameters.begin();
-        it!=parameters.end();
-        it++)
+    for(auto &p : code_type.parameters())
     {
-      if(!rename(it->type()))
+      if(!rename(p.type()))
         result=false;
 
-      expr_mapt::const_iterator e_it=
-        expr_map.find(it->get_identifier());
+      expr_mapt::const_iterator e_it = expr_map.find(p.get_identifier());
 
       if(e_it!=expr_map.end())
       {
-        it->set_identifier(e_it->second);
+        p.set_identifier(e_it->second);
         result=false;
       }
     }
@@ -239,17 +235,12 @@ bool rename_symbolt::have_to_rename(const typet &dest) const
     if(have_to_rename(code_type.return_type()))
       return true;
 
-    const code_typet::parameterst &parameters=code_type.parameters();
-
-    for(code_typet::parameterst::const_iterator
-        it=parameters.begin();
-        it!=parameters.end();
-        it++)
+    for(const auto &p : code_type.parameters())
     {
-      if(have_to_rename(it->type()))
+      if(have_to_rename(p.type()))
         return true;
 
-      if(expr_map.find(it->get_identifier())!=expr_map.end())
+      if(expr_map.find(p.get_identifier()) != expr_map.end())
         return true;
     }
   }

src/util/replace_symbol.cpp

@@ -180,11 +180,9 @@ bool replace_symbolt::replace(typet &dest) const
     code_typet &code_type=to_code_type(dest);
     if(!replace(code_type.return_type()))
       result = false;
-    code_typet::parameterst &parameters=code_type.parameters();
-    for(code_typet::parameterst::iterator it = parameters.begin();
-        it!=parameters.end();
-        it++)
-      if(!replace(*it))
+
+    for(auto &p : code_type.parameters())
+      if(!replace(p))
         result=false;
   }
   else if(dest.id()==ID_array)
@@ -232,13 +230,8 @@ bool replace_symbolt::have_to_replace(const typet &dest) const
     if(have_to_replace(code_type.return_type()))
       return true;
 
-    const code_typet::parameterst &parameters=code_type.parameters();
-
-    for(code_typet::parameterst::const_iterator
-        it=parameters.begin();
-        it!=parameters.end();
-        it++)
-      if(have_to_replace(*it))
+    for(const auto &p : code_type.parameters())
+      if(have_to_replace(p))
         return true;
   }
   else if(dest.id()==ID_array)