Replace deprecated integer2unsigned

Signed-off-by: František Nečas <[email protected]>

Author: FrNecas

src/domains/util.cpp

@@ -227,7 +227,7 @@ mp_integer simplify_const_int(const exprt &expr)
     if(array_type.id()==ID_signedbv || array_type.id()==ID_unsignedbv)
     {
       mp_integer mp_index=simplify_const_int(index_expr.index());
-      unsigned index=integer2unsigned(mp_index); // TODO: might overflow
+      auto index=numeric_cast_v<unsigned>(mp_index); // TODO: might overflow
       assert(index<(index_expr.array().operands().size()));
       return simplify_const_int(index_expr.array().operands()[index]);
     }
@@ -308,7 +308,7 @@ ieee_floatt simplify_const_float(const exprt &expr)
     if(array_type.id()==ID_float)
     {
       mp_integer mp_index=simplify_const_int(index_expr.index());
-      unsigned index=integer2unsigned(mp_index); // TODO: might overflow
+      auto index=numeric_cast_v<unsigned>(mp_index); // TODO: might overflow
       assert(index<(index_expr.array().operands().size()));
       return simplify_const_float(index_expr.array().operands()[index]);
     }