Fix iterator equality check bug in custom_bitvector_analysis.cpp

Author: reuk

src/analyses/custom_bitvector_analysis.cpp

@@ -270,7 +270,7 @@ void custom_bitvector_domaint::transform(
   locationt to,
   ai_baset &ai,
   const namespacet &ns,
-  ai_domain_baset::edge_typet /*edge_type*/)
+  ai_domain_baset::edge_typet edge_type)
 {
   // upcast of ai
   custom_bitvector_analysist &cba=
@@ -396,11 +396,8 @@ void custom_bitvector_domaint::transform(
         }
         else
         {
-          goto_programt::const_targett next=from;
-          ++next;
-
           // only if there is an actual call, i.e., we have a body
-          if(next!=to)
+          if(edge_type != ai_domain_baset::edge_typet::FUNCTION_LOCAL)
           {
             const code_typet &code_type=
               to_code_type(ns.lookup(identifier).type);