Merge pull request #2453 from tautschnig/vs-deprected-uint

Deprecate get_unsigned_int

Author: tautschnig

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -974,11 +974,11 @@ codet java_bytecode_convert_methodt::get_clinit_call(
   }
 }
 
-static unsigned get_bytecode_type_width(const typet &ty)
+static std::size_t get_bytecode_type_width(const typet &ty)
 {
   if(ty.id()==ID_pointer)
     return 32;
-  return ty.get_unsigned_int(ID_width);
+  return ty.get_size_t(ID_width);
 }
 
 codet java_bytecode_convert_methodt::convert_instructions(

jbmc/src/java_bytecode/java_utils.cpp

@@ -34,9 +34,7 @@ unsigned java_local_variable_slots(const typet &t)
   if(t.id()==ID_pointer)
     return 1;
 
-  unsigned bitwidth;
-
-  bitwidth=t.get_unsigned_int(ID_width);
+  const std::size_t bitwidth = t.get_size_t(ID_width);
   INVARIANT(
     bitwidth==8 ||
     bitwidth==16 ||

src/ansi-c/c_typecast.cpp

@@ -277,7 +277,7 @@ typet c_typecastt::follow_with_qualifiers(const typet &src_type)
 c_typecastt::c_typet c_typecastt::get_c_type(
   const typet &type) const
 {
-  unsigned width=type.get_int(ID_width);
+  const std::size_t width = type.get_size_t(ID_width);
 
   if(type.id()==ID_signedbv)
   {

src/ansi-c/c_typecheck_type.cpp

@@ -1368,7 +1368,7 @@ void c_typecheck_baset::typecheck_c_bit_field_type(c_bit_field_typet &type)
       throw 0;
     }
 
-    sub_width=c_enum_type.subtype().get_int(ID_width);
+    sub_width = c_enum_type.subtype().get_size_t(ID_width);
   }
   else
   {

src/ansi-c/padding.cpp

@@ -124,7 +124,7 @@ underlying_width(const c_bit_field_typet &type, const namespacet &ns)
     const typet &c_enum_type = ns.follow_tag(to_c_enum_tag_type(subtype));
 
     if(c_enum_type.id() == ID_c_enum)
-      return c_enum_type.subtype().get_int(ID_width);
+      return c_enum_type.subtype().get_size_t(ID_width);
     else
       return {};
   }

src/goto-instrument/accelerate/overflow_instrumenter.cpp

@@ -110,8 +110,8 @@ void overflow_instrumentert::overflow_expr(
     }
 
     const typet &old_type=ns.follow(expr.op0().type());
-    std::size_t new_width=expr.type().get_int(ID_width);
-    std::size_t old_width=old_type.get_int(ID_width);
+    const std::size_t new_width = expr.type().get_size_t(ID_width);
+    const std::size_t old_width = old_type.get_size_t(ID_width);
 
     if(type.id()==ID_signedbv)
     {

src/solvers/flattening/boolbv_not.cpp

@@ -23,7 +23,7 @@ bvt boolbvt::convert_not(const not_exprt &expr)
   {
     if((expr.type().id()==ID_verilog_signedbv ||
         expr.type().id()==ID_verilog_unsignedbv) &&
-        expr.type().get_int(ID_width)==1)
+        expr.type().get_size_t(ID_width) == 1)
     {
       literalt has_x_or_z=bv_utils.verilog_bv_has_x_or_z(op_bv);
       literalt normal_bits_zero=

src/solvers/flattening/boolbv_reduction.cpp

@@ -76,7 +76,7 @@ bvt boolbvt::convert_bv_reduction(const unary_exprt &expr)
   {
     if((expr.type().id()==ID_verilog_signedbv ||
         expr.type().id()==ID_verilog_unsignedbv) &&
-        expr.type().get_int(ID_width)==1)
+        expr.type().get_size_t(ID_width) == 1)
     {
       bvt bv;
       bv.resize(2);

src/solvers/flattening/boolbv_width.cpp

@@ -110,7 +110,7 @@ const boolbv_widtht::entryt &boolbv_widtht::get_entry(const typet &type) const
           type_id==ID_verilog_unsignedbv)
   {
     // we encode with two bits
-    entry.total_width=type.get_unsigned_int(ID_width)*2;
+    entry.total_width = type.get_size_t(ID_width) * 2;
     assert(entry.total_width!=0);
   }
   else if(type_id==ID_range)
@@ -186,7 +186,7 @@ const boolbv_widtht::entryt &boolbv_widtht::get_entry(const typet &type) const
   else if(type_id==ID_c_enum)
   {
     // these have a subtype
-    entry.total_width=type.subtype().get_unsigned_int(ID_width);
+    entry.total_width = type.subtype().get_size_t(ID_width);
     assert(entry.total_width!=0);
   }
   else if(type_id==ID_incomplete_c_enum)

src/util/arith_tools.cpp

@@ -152,7 +152,8 @@ constant_exprt from_integer(
   }
   else if(type_id==ID_c_enum)
   {
-    std::size_t width=to_c_enum_type(type).subtype().get_unsigned_int(ID_width);
+    const std::size_t width =
+      to_c_enum_type(type).subtype().get_size_t(ID_width);
     constant_exprt result(type);
     result.set_value(integer2binary(int_value, width));
     return result;