Make non-const version of find_entry

Author: Owen

src/pointer-analysis/value_set.cpp

@@ -48,13 +48,18 @@ bool value_sett::field_sensitive(const irep_idt &id, const typet &type)
   return type.id() == ID_struct || type.id() == ID_struct_tag;
 }
 
-const value_sett::entryt *value_sett::find_entry(const value_sett::idt &id)
-  const
+value_sett::entryt *value_sett::find_entry(const value_sett::idt &id)
 {
   auto found = values.find(id);
   return found == values.end() ? nullptr : &found->second;
 }
 
+const value_sett::entryt *value_sett::find_entry(const value_sett::idt &id)
+const
+{
+  return const_cast<value_sett *>(this)->find_entry(id);
+}
+
 value_sett::entryt &value_sett::get_entry(const entryt &e, const typet &type)
 {
   irep_idt index;

src/pointer-analysis/value_set.h

@@ -328,6 +328,9 @@ class value_sett
   /// \return a constant pointer to an entry if found, or null otherwise.
   ///   Note the pointer may be invalidated by insert operations, including
   ///   get_entry.
+  entryt *find_entry(const idt &id);
+
+  /// Const version of \ref find_entry
   const entryt *find_entry(const idt &id) const;
 
   /// Gets or inserts an entry in this value-set.