Merge pull request #5788 from tautschnig/forall-expr

Replace some uses of {F,f}orall_expr by ranged-for

Author: tautschnig

src/analyses/goto_rw.cpp

@@ -745,9 +745,11 @@ static void goto_rw(
   rw_set.get_objects_rec(
     function, target, rw_range_sett::get_modet::READ, function_call.function());
 
-  forall_expr(it, function_call.arguments())
+  for(const auto &argument : function_call.arguments())
+  {
     rw_set.get_objects_rec(
-      function, target, rw_range_sett::get_modet::READ, *it);
+      function, target, rw_range_sett::get_modet::READ, argument);
+  }
 }
 
 void goto_rw(

src/goto-instrument/dump_c.cpp

@@ -1368,24 +1368,26 @@ void dump_ct::cleanup_expr(exprt &expr)
       if(parameters.size()==arguments.size())
       {
         code_typet::parameterst::const_iterator it=parameters.begin();
-        Forall_expr(it2, arguments)
+        for(auto &argument : arguments)
         {
           const typet &type=ns.follow(it->type());
           if(type.id()==ID_union &&
              type.get_bool(ID_C_transparent_union))
           {
-            if(it2->id() == ID_typecast && it2->type() == type)
-              *it2=to_typecast_expr(*it2).op();
+            if(argument.id() == ID_typecast && argument.type() == type)
+              argument = to_typecast_expr(argument).op();
 
             // add a typecast for NULL or 0
-            if(it2->id()==ID_constant &&
-               (it2->is_zero() || to_constant_expr(*it2).get_value()==ID_NULL))
+            if(
+              argument.id() == ID_constant &&
+              (argument.is_zero() ||
+               to_constant_expr(argument).get_value() == ID_NULL))
             {
               const typet &comp_type=
                 to_union_type(type).components().front().type();
 
               if(comp_type.id()==ID_pointer)
-                *it2=typecast_exprt(*it2, comp_type);
+                argument = typecast_exprt(argument, comp_type);
             }
           }
 

src/goto-instrument/goto_program2code.cpp

@@ -1435,13 +1435,12 @@ void goto_program2codet::cleanup_code(
 
   if(code.has_operands())
   {
-    exprt::operandst &operands=code.operands();
-    Forall_expr(it, operands)
+    for(auto &op : code.operands())
     {
-      if(it->id()==ID_code)
-        cleanup_code(to_code(*it), code.get_statement());
+      if(op.id() == ID_code)
+        cleanup_code(to_code(op), code.get_statement());
       else
-        cleanup_expr(*it, false);
+        cleanup_expr(op, false);
     }
   }
 
@@ -1498,10 +1497,14 @@ void goto_program2codet::cleanup_function_call(
     if(parameters.size()==arguments.size())
     {
       code_typet::parameterst::const_iterator it=parameters.begin();
-      Forall_expr(it2, arguments)
+      for(auto &argument : arguments)
       {
-        if(it2->type().id() == ID_union || it2->type().id() == ID_union_tag)
-          it2->type()=it->type();
+        if(
+          argument.type().id() == ID_union ||
+          argument.type().id() == ID_union_tag)
+        {
+          argument.type() = it->type();
+        }
         ++it;
       }
     }

src/goto-instrument/value_set_fi_fp_removal.cpp

@@ -105,8 +105,8 @@ void remove_function_pointer(
   if(call_type.has_ellipsis() && call_type.parameters().empty())
   {
     call_type.remove_ellipsis();
-    forall_expr(it, code.arguments())
-      call_type.parameters().push_back(code_typet::parametert(it->type()));
+    for(const auto &argument : code.arguments())
+      call_type.parameters().push_back(code_typet::parametert(argument.type()));
   }
 
   const exprt &pointer = to_dereference_expr(function).pointer();

src/goto-programs/builtin_functions.cpp

@@ -1059,8 +1059,8 @@ void goto_convertt::do_function_call_symbol(
 
     codet fence(ID_fence);
 
-    forall_expr(it, arguments)
-      fence.set(get_string_constant(*it), true);
+    for(const auto &argument : arguments)
+      fence.set(get_string_constant(argument), true);
 
     dest.add(goto_programt::make_other(fence, function.source_location()));
   }

src/goto-programs/goto_convert_function_call.cpp

@@ -53,8 +53,8 @@ void goto_convertt::do_function_call(
 
   clean_expr(new_function, dest, mode);
 
-  Forall_expr(it, new_arguments)
-    clean_expr(*it, dest, mode);
+  for(auto &new_argument : new_arguments)
+    clean_expr(new_argument, dest, mode);
 
   // split on the function
 

src/goto-programs/goto_program.cpp

@@ -292,8 +292,8 @@ std::list<exprt> expressions_read(
   case FUNCTION_CALL:
   {
     const code_function_callt &function_call = instruction.get_function_call();
-    forall_expr(it, function_call.arguments())
-      dest.push_back(*it);
+    for(const auto &argument : function_call.arguments())
+      dest.push_back(argument);
     if(function_call.lhs().is_not_nil())
       parse_lhs_read(function_call.lhs(), dest);
     break;

src/goto-programs/remove_function_pointers.cpp

@@ -279,9 +279,10 @@ void remove_function_pointerst::remove_function_pointer(
      call_type.parameters().empty())
   {
     call_type.remove_ellipsis();
-    forall_expr(it, code.arguments())
-      call_type.parameters().push_back(
-        code_typet::parametert(it->type()));
+    for(const auto &argument : code.arguments())
+    {
+      call_type.parameters().push_back(code_typet::parametert(argument.type()));
+    }
   }
 
   bool found_functions;

src/goto-symex/symex_function_call.cpp

@@ -200,8 +200,8 @@ void goto_symext::symex_function_call_symbol(
 
   code.function() = clean_expr(std::move(code.function()), state, false);
 
-  Forall_expr(it, code.arguments())
-    *it = clean_expr(std::move(*it), state, false);
+  for(auto &argument : code.arguments())
+    argument = clean_expr(std::move(argument), state, false);
 
   target.location(state.guard.as_expr(), state.source);
 

src/solvers/flattening/boolbv_array.cpp

@@ -32,9 +32,9 @@ bvt boolbvt::convert_array(const exprt &expr)
     bvt bv;
     bv.reserve(width);
 
-    forall_expr(it, operands)
+    for(const auto &op : operands)
     {
-      const bvt &tmp = convert_bv(*it, op_width);
+      const bvt &tmp = convert_bv(op, op_width);
 
       bv.insert(bv.end(), tmp.begin(), tmp.end());
     }