Merge pull request diffblue#116 from diffblue/mariusmc92/bugfix/avoid-error-when-writing-summary

Fixed bug that caused error when writing summary

Author: NathanJPhillips

src/pointer-analysis/local_value_set_analysis.cpp

@@ -320,6 +320,7 @@ void local_value_set_analysist::save_summary(const goto_programt &goto_program)
   locationt last_loc=std::prev(goto_program.instructions.end());
   const auto &final_state=static_cast<const domaint&>(get_state(last_loc));
   // Put summary into database
+  summarydb.erase(function_name);
   summarydb[function_name]->from_final_state(
     final_state.value_set,
     ns,

src/util/cached_map.h

@@ -464,7 +464,7 @@ class cached_mapt final
       return false;
     if(cache.count(key) != 0)
       remove_cache(key);
-    base_map.remove(key);
+    base_map.erase(key);
     return true;
   }