From 2f6ceede23f79168698c10a42a8decc44c220b37 Mon Sep 17 00:00:00 2001
From: Owen Jones <owen.jones@diffblue.com>
Date: Tue, 31 Oct 2017 11:25:22 +0000
Subject: [PATCH] Replace unsigned with appropriate type

Replace unsigned with object_numberingt::number_type, which actually
resolves to size_t rather than unsigned.
---
 src/pointer-analysis/value_set.cpp | 2 +-
 src/pointer-analysis/value_set.h   | 7 +++++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
index a20000567b0..032ab702f16 100644
--- a/src/pointer-analysis/value_set.cpp
+++ b/src/pointer-analysis/value_set.cpp
@@ -71,7 +71,7 @@ value_sett::entryt &value_sett::get_entry(
 
 bool value_sett::insert(
   object_mapt &dest,
-  unsigned n,
+  object_numberingt::number_type n,
   const objectt &object) const
 {
   auto entry=dest.read().find(n);
diff --git a/src/pointer-analysis/value_set.h b/src/pointer-analysis/value_set.h
index 68c41f4ce16..2493b211101 100644
--- a/src/pointer-analysis/value_set.h
+++ b/src/pointer-analysis/value_set.h
@@ -60,7 +60,7 @@ class value_sett
 
   class object_map_dt
   {
-    typedef std::map<unsigned, objectt> data_typet;
+    typedef std::map<object_numberingt::number_type, objectt> data_typet;
     data_typet data;
 
   public:
@@ -132,7 +132,10 @@ class value_sett
     return insert(dest, object_numbering.number(src), objectt(offset));
   }
 
-  bool insert(object_mapt &dest, unsigned n, const objectt &object) const;
+  bool insert(
+    object_mapt &dest,
+    object_numberingt::number_type n,
+    const objectt &object) const;
 
   bool insert(object_mapt &dest, const exprt &expr, const objectt &object) const
   {