avoid usage of .make_typecast()

Author: Daniel Kroening

src/pointer-analysis/value_set_fi.cpp

@@ -854,8 +854,12 @@ void value_set_fit::get_reference_set_sharing_rec(
           object, from_integer(0, index_type()), expr.type());
 
         // adjust type?
+        exprt index_casted;
+
         if(object.type().id() != "#REF#" && object.type() != array_type)
-          index_expr.make_typecast(array.type());
+          index_casted = typecast_exprt(index_expr, array.type());
+        else
+          index_casted = index_expr;
 
         offsett o = a_it->second;
         mp_integer i;
@@ -868,7 +872,7 @@ void value_set_fit::get_reference_set_sharing_rec(
         else
           o.reset();
 
-        insert(dest, index_expr, o);
+        insert(dest, index_casted, o);
       }
     }
 

src/pointer-analysis/value_set_fivr.cpp

@@ -965,8 +965,12 @@ void value_set_fivrt::get_reference_set_sharing_rec(
           object, from_integer(0, index_type()), expr.type());
 
         // adjust type?
+        exprt index_casted;
+
         if(object.type().id() != "#REF#" && object.type() != array_type)
-          index_expr.make_typecast(array.type());
+          index_casted = typecast_exprt(index_expr, array.type());
+        else
+          index_casted = index_expr;
 
         offsett o = a_it->second;
         mp_integer i;
@@ -979,7 +983,7 @@ void value_set_fivrt::get_reference_set_sharing_rec(
         else
           o.reset();
 
-        insert_from(dest, index_expr, o);
+        insert_from(dest, index_casted, o);
       }
     }
 

src/pointer-analysis/value_set_fivrns.cpp

@@ -657,9 +657,12 @@ void value_set_fivrnst::get_reference_set_rec(
         index_exprt index_expr(
           object, from_integer(0, index_type()), expr.type());
 
-        // adjust type?
-        if(object.type() != array_type)
-          index_expr.make_typecast(array.type());
+        exprt index_casted;
+
+        if(object.type().id() != "#REF#" && object.type() != array_type)
+          index_casted = typecast_exprt(index_expr, array.type());
+        else
+          index_casted = index_expr;
 
         offsett o = a_it->second;
         mp_integer i;
@@ -672,7 +675,7 @@ void value_set_fivrnst::get_reference_set_rec(
         else
           o.reset();
 
-        insert_from(dest, index_expr, o);
+        insert_from(dest, index_casted, o);
       }
     }