Use std::size_t when referring to object size

Author: tautschnig

src/ansi-c/literals/convert_integer_literal.cpp

@@ -110,7 +110,7 @@ exprt convert_integer_literal(const std::string &src)
     ((signed?!is_unsigned:(is_unsigned || is_hex_or_oct_or_bin)) && \
     (power(2, signed?width-1:width)>value_abs))
 
-  unsigned width;
+  std::size_t width;
   bool is_signed=false;
   irep_idt c_type;
 

src/big-int/bigint.cc

@@ -561,7 +561,7 @@ BigInt::digits (onedig_t b) const
 
 
 char *
-BigInt::as_string (char *p, unsigned l, onedig_t b) const
+BigInt::as_string(char *p, std::size_t l, onedig_t b) const
 {
   if (l < 2)
     return 0;				// Not enough room for number.
@@ -615,9 +615,9 @@ BigInt::dump (unsigned char *p, unsigned n)
     }
   // Determine number m of characters needed.
   onedig_t d = *--t;
-  unsigned i = sizeof (onedig_t);
+  std::size_t i = sizeof (onedig_t);
   while (--i && (d >> i * CHAR_BIT) == 0);
-  unsigned m = ++i + (t - digit) * sizeof (onedig_t);
+  std::size_t m = ++i + (t - digit) * sizeof (onedig_t);
   // Fill in leading zeroes.
   if (m > n)
     {

src/big-int/bigint.hh

@@ -187,7 +187,7 @@ public:
 
   // Convert into string, right adjusted in field of specified width.
   // Returns pointer to start of number or NULL if field too small.
-  char *as_string (char *, unsigned, onedig_t = 10) const _fasta;
+  char *as_string(char *, std::size_t, onedig_t = 10) const _fasta;
 
   // Convert to/from a binary representation.