use std::size_t

Author: kroening

src/ansi-c/literals/unescape_string.cpp

@@ -267,7 +267,7 @@ Function: hex_to_unsigned
 
 \*******************************************************************/
 
-unsigned hex_to_unsigned(const char *hex, unsigned digits)
+unsigned hex_to_unsigned(const char *hex, std::size_t digits)
 {
   unsigned value=0;
 
@@ -301,7 +301,7 @@ Function: octal_to_unsigned
 
 \*******************************************************************/
 
-unsigned octal_to_unsigned(const char *octal, unsigned digits)
+unsigned octal_to_unsigned(const char *octal, std::size_t digits)
 {
   unsigned value=0;
 

src/ansi-c/literals/unescape_string.h

@@ -14,7 +14,7 @@ Author: Daniel Kroening, kroening@kroening.com
 std::string unescape_string(const std::string &);
 std::basic_string<unsigned int> unescape_wide_string(const std::string &);
 
-unsigned hex_to_unsigned(const char *, unsigned digits);
-unsigned octal_to_unsigned(const char *, unsigned digits);
+unsigned hex_to_unsigned(const char *, std::size_t digits);
+unsigned octal_to_unsigned(const char *, std::size_t digits);
 
 #endif

src/goto-programs/goto_convert_exceptions.cpp

@@ -112,7 +112,7 @@ void goto_convertt::convert_msc_leave(
   }
 
   // need to process destructor stack
-  for(unsigned d=targets.destructor_stack.size();
+  for(std::size_t d=targets.destructor_stack.size();
       d!=targets.leave_stack_size;
       d--)
   {

src/goto-programs/remove_skip.cpp

@@ -90,7 +90,7 @@ void remove_skip(goto_programt &goto_program)
 {
   // This needs to be a fixed-point, as
   // removing a skip can turn a goto into a skip.
-  unsigned old_size;
+  std::size_t old_size;
 
   do
   {

src/util/fixedbv.h

@@ -18,20 +18,20 @@ class fixedbv_typet;
 class fixedbv_spect
 {
 public:
-  unsigned integer_bits, width;
+  std::size_t integer_bits, width;
 
   fixedbv_spect():integer_bits(0), width(0)
   {
   }
 
-  fixedbv_spect(unsigned _width, unsigned _integer_bits):
+  fixedbv_spect(std::size_t _width, std::size_t _integer_bits):
     integer_bits(_integer_bits), width(_width)
   {
   }
 
   fixedbv_spect(const fixedbv_typet &type);
 
-  inline unsigned get_fraction_bits() const
+  inline std::size_t get_fraction_bits() const
   {
     return width-integer_bits;
   }

src/util/xml.cpp

@@ -296,6 +296,25 @@ Function: xmlt::set_attribute
 
 \*******************************************************************/
 
+void xmlt::set_attribute(
+  const std::string &attribute,
+  unsigned long value)
+{
+  set_attribute(attribute, i2string(value));
+}
+
+/*******************************************************************\
+
+Function: xmlt::set_attribute
+
+  Inputs:
+
+ Outputs:
+
+ Purpose:
+
+\*******************************************************************/
+
 void xmlt::set_attribute(
   const std::string &attribute,
   const std::string &value)

src/util/xml.h

@@ -43,6 +43,10 @@ class xmlt
     const std::string &attribute,
     unsigned value);
 
+  void set_attribute(
+    const std::string &attribute,
+    unsigned long value);
+
   void set_attribute(
     const std::string &attribute,
     const std::string &value);