Address comments

Author: angelhof

src/analyses/goto_check.cpp

@@ -342,9 +342,9 @@ void goto_checkt::enum_range_check(const exprt &expr, const guardt &guard)
   const c_enum_typet::memberst enum_values = c_enum_type.members();
 
   std::vector<exprt> disjuncts;
-  for(auto it = enum_values.begin(); it != enum_values.end(); ++it)
+  for(const auto it : enum_values)
   {
-    const constant_exprt val = constant_exprt(it->get_value(), c_enum_tag_type);
+    const constant_exprt val{it.get_value(), c_enum_tag_type};
     disjuncts.push_back(equal_exprt(expr, val));
   }