diff --git a/src/ansi-c/c_typecast.cpp b/src/ansi-c/c_typecast.cpp
index ce9ddc4ba8..010b8bf210 100644
--- a/src/ansi-c/c_typecast.cpp
+++ b/src/ansi-c/c_typecast.cpp
@@ -454,20 +454,7 @@ void c_typecastt::implicit_typecast_arithmetic(
   }
 
   if(new_type!=expr_type)
-  {
-    if(new_type.id()==ID_pointer &&
-       expr_type.id()==ID_array)
-    {
-      exprt index_expr(ID_index, expr_type.subtype());
-      index_expr.reserve_operands(2);
-      index_expr.move_to_operands(expr);
-      index_expr.copy_to_operands(gen_zero(index_type()));
-      expr=exprt(ID_address_of, new_type);
-      expr.move_to_operands(index_expr);
-    }
-    else
-      do_typecast(expr, new_type);
-  }
+    do_typecast(expr, new_type);
 }
 
 /*******************************************************************\