Use numeric_cast_v<std::size_t> instead of deprecated integer2size_t

Author: tautschnig

src/util/endianness_map.cpp

@@ -42,7 +42,7 @@ void endianness_mapt::build_little_endian(const typet &src)
   if(s<=0)
     return;
 
-  std::size_t new_size=map.size()+integer2size_t(s);
+  std::size_t new_size = map.size() + numeric_cast_v<std::size_t>(s);
   map.reserve(new_size);
 
   for(std::size_t i=map.size(); i<new_size; ++i)
@@ -66,7 +66,8 @@ void endianness_mapt::build_big_endian(const typet &src)
     mp_integer bits=pointer_offset_bits(src, ns); // error is -1
     CHECK_RETURN(bits>=0);
 
-    size_t bits_int=integer2size_t(bits), base=map.size();
+    const std::size_t bits_int = numeric_cast_v<std::size_t>(bits);
+    const std::size_t base = map.size();
 
     for(size_t bit=0; bit<bits_int; bit++)
     {
@@ -123,7 +124,7 @@ void endianness_mapt::build_big_endian(const typet &src)
     if(s<=0)
       return;
 
-    std::size_t new_size=map.size()+integer2size_t(s);
+    const std::size_t new_size = map.size() + numeric_cast_v<std::size_t>(s);
     map.reserve(new_size);
 
     for(std::size_t i=map.size(); i<new_size; ++i)

src/util/ieee_float.cpp

@@ -198,7 +198,8 @@ std::string ieee_floatt::to_string_decimal(std::size_t precision) const
       // pad with zeros from the front, if needed
       while(mp_integer(tmp.size())<=position) tmp="0"+tmp;
 
-      std::size_t dot=tmp.size()-integer2size_t(position);
+      const std::size_t dot =
+        tmp.size() - numeric_cast_v<std::size_t>(position);
       result+=std::string(tmp, 0, dot)+'.';
       result+=std::string(tmp, dot, std::string::npos);