CI checker

Author: JohnDumbell

src/goto-symex/renaming_level.h

@@ -41,7 +41,7 @@ struct symex_renaming_levelt
   symex_renaming_levelt(symex_renaming_levelt &&other) = default;
 
   /// Map identifier to ssa_exprt and counter
-  typedef std::map<irep_idt, std::pair<ssa_exprt, unsigned>> current_namest;
+  typedef std::map<irep_idt, std::pair<ssa_exprt, std::size_t>> current_namest;
   current_namest current_names;
 
   /// Counter corresponding to an identifier

src/goto-symex/symex_goto.cpp

@@ -355,9 +355,9 @@ void goto_symext::merge_goto(
 /// the second to (ssa', j). If the first map has an entry for k but not the
 /// second one then j is 0, and when the first map has no entry for k then i = 0
 static void for_each2(
-  const std::map<irep_idt, std::pair<ssa_exprt, unsigned>> &first_map,
-  const std::map<irep_idt, std::pair<ssa_exprt, unsigned>> &second_map,
-  const std::function<void(const ssa_exprt &, unsigned, unsigned)> &f)
+  const std::map<irep_idt, std::pair<ssa_exprt, std::size_t>> &first_map,
+  const std::map<irep_idt, std::pair<ssa_exprt, std::size_t>> &second_map,
+  const std::function<void(const ssa_exprt &, std::size_t, std::size_t)> &f)
 {
   auto second_it = second_map.begin();
   for(const auto &first_pair : first_map)
@@ -407,8 +407,8 @@ static void merge_names(
   const bool do_simplify,
   symex_target_equationt &target,
   const ssa_exprt &ssa,
-  const unsigned goto_count,
-  const unsigned dest_count)
+  const std::size_t goto_count,
+  const std::size_t dest_count)
 {
   const irep_idt l1_identifier = ssa.get_identifier();
   const irep_idt &obj_identifier = ssa.get_object_name();

src/util/ssa_expr.h

@@ -77,19 +77,19 @@ class ssa_exprt:public symbol_exprt
     return o.get_identifier();
   }
 
-  void set_level_0(unsigned i)
+  void set_level_0(std::size_t i)
   {
     set(ID_L0, i);
     update_identifier();
   }
 
-  void set_level_1(unsigned i)
+  void set_level_1(std::size_t i)
   {
     set(ID_L1, i);
     update_identifier();
   }
 
-  void set_level_2(unsigned i)
+  void set_level_2(std::size_t i)
   {
     set(ID_L2, i);
     update_identifier();