diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp index 18b2cf3fa8c..2c3595b5e65 100644 --- a/src/util/simplify_expr.cpp +++ b/src/util/simplify_expr.cpp @@ -1342,7 +1342,7 @@ simplify_exprt::simplify_typecast(const typecast_exprt &expr) else if(auto extractbits = expr_try_dynamic_cast(operand)) { if( - can_cast_type(expr_type) && + can_cast_type(expr_type) && expr_type_id != ID_pointer && can_cast_type(operand.type()) && to_bitvector_type(expr_type).get_width() == to_bitvector_type(operand.type()).get_width())