Updated LVSA data structures for Recency Analysis

Updated the output of the LVSA in order
to deal with "most-recent-allocation" and
"any-allocation" dynamic objects.

Author: mariusmc92

src/pointer-analysis/value_set.cpp

@@ -194,8 +194,22 @@ void value_sett::output(
         result=from_expr(ns, identifier, o);
       else
       {
-        result="<"+from_expr(ns, identifier, o)+", ";
-
+        if(o.id()==ID_dynamic_object)
+        {
+          dynamic_object_exprt::recencyt recency;
+          std::string recency_str="";
+
+          recency=to_dynamic_object_expr(o).get_recency();
+          if(recency==dynamic_object_exprt::recencyt::MOST_RECENT_ALLOCATION)
+            recency_str="most-recent-allocation";
+          else if(recency==dynamic_object_exprt::recencyt::ANY_ALLOCATION)
+            recency_str="any-allocation";
+          result="<"+from_expr(ns, identifier, o)+", "+recency_str+", ";
+        }
+        else
+        {
+          result="<"+from_expr(ns, identifier, o)+", ";
+        }
         if(o_it->second.offset_is_set)
           result+=integer2string(o_it->second.offset)+"";
         else
@@ -894,10 +908,19 @@ void value_sett::get_value_set_rec(
   {
     const dynamic_object_exprt &dynamic_object=
       to_dynamic_object_expr(expr);
+    std::string recency_str="";
+
+    if(dynamic_object.get_recency()==
+       dynamic_object_exprt::recencyt::MOST_RECENT_ALLOCATION)
+      recency_str="most-recent-allocation";
+    else if(dynamic_object.get_recency()==
+            dynamic_object_exprt::recencyt::ANY_ALLOCATION)
+      recency_str="any-allocation";
 
     const std::string prefix=
       "value_set::dynamic_object"+
-      dynamic_object.instance().get_string(ID_value);
+      dynamic_object.instance().get_string(ID_value)+
+      recency_str;
 
     // first try with suffix
     const std::string full_name=prefix+suffix;
@@ -1532,10 +1555,19 @@ void value_sett::assign_rec(
   {
     const dynamic_object_exprt &dynamic_object=
       to_dynamic_object_expr(lhs);
+    std::string recency_str="";
+
+    if(dynamic_object.get_recency()==
+       dynamic_object_exprt::recencyt::MOST_RECENT_ALLOCATION)
+      recency_str="most-recent-allocation";
+    else if(dynamic_object.get_recency()==
+            dynamic_object_exprt::recencyt::ANY_ALLOCATION)
+      recency_str="any-allocation";
 
     const std::string name=
       "value_set::dynamic_object"+
-      dynamic_object.instance().get_string(ID_value);
+      dynamic_object.instance().get_string(ID_value)+
+      recency_str;
 
     entryt &e=get_entry(entryt(name, suffix), lhs.type(), ns);