counters need to be size_t

Author: kroening

src/cbmc/show_vcc.cpp

@@ -47,7 +47,7 @@ void bmct::show_vcc_plain(std::ostream &out)
     symex_target_equationt::SSA_stepst::const_iterator
       last_it=has_threads?equation.SSA_steps.end():s_it;
 
-    for(unsigned count=1; p_it!=last_it; p_it++)
+    for(std::size_t count=1; p_it!=last_it; p_it++)
       if(p_it->is_assume() || p_it->is_assignment() || p_it->is_constraint())
       {
         if(!p_it->ignore)

src/goto-programs/set_properties.cpp

@@ -45,7 +45,7 @@ void label_properties(goto_modelt &goto_model)
 
 void label_properties(
   goto_programt &goto_program,
-  std::map<irep_idt, unsigned> &property_counters)
+  std::map<irep_idt, std::size_t> &property_counters)
 {
   for(goto_programt::instructionst::iterator
       it=goto_program.instructions.begin();
@@ -75,7 +75,7 @@ void label_properties(
     if(prefix!="")
       prefix+=".";
 
-    unsigned &count=property_counters[prefix];
+    std::size_t &count=property_counters[prefix];
 
     count++;
 
@@ -87,7 +87,7 @@ void label_properties(
 
 void label_properties(goto_programt &goto_program)
 {
-  std::map<irep_idt, unsigned> property_counters;
+  std::map<irep_idt, std::size_t> property_counters;
   label_properties(goto_program, property_counters);
 }
 
@@ -116,7 +116,7 @@ void set_properties(
 
 void label_properties(goto_functionst &goto_functions)
 {
-  std::map<irep_idt, unsigned> property_counters;
+  std::map<irep_idt, std::size_t> property_counters;
 
   for(goto_functionst::function_mapt::iterator
       it=goto_functions.function_map.begin();

src/goto-symex/symex_function_call.cpp

@@ -138,7 +138,7 @@ void goto_symext::parameter_assignments(
   if(function_type.has_ellipsis())
   {
     // These are va_arg arguments; their types may differ from call to call
-    unsigned va_count=0;
+    std::size_t va_count=0;
     const symbolt *va_sym=nullptr;
     while(!ns.lookup(
         id2string(function_identifier)+"::va_arg"+std::to_string(va_count),

src/util/irep.cpp

@@ -675,7 +675,7 @@ std::string irept::pretty(unsigned indent, unsigned max_indent) const
     result+=it->second.pretty(indent+2, max_indent);
   }
 
-  unsigned count=0;
+  std::size_t count=0;
 
   forall_irep(it, get_sub())
   {