Merge pull request diffblue#298 from diffblue/owen-jones-diffblue/bugfix/initializer-evs-spreads-to-dynamic-object

Fix bug that initializer evs can spread to dynamic objects

Author: owen-jones-diffblue

regression/LVSA/TestPreciseAccessPaths/Test.class

@@ -59,4 +59,15 @@ public void get_list_node(ListNode list_node, int index) {
     }
     output = list_node.data;
   }
+
+  public void simple_function_should_export_imprecise_access_paths(A param_a) {
+    param_a.left_object = new Object();
+  }
+
+  public void check_using_imprecise_access_paths() {
+    A dynamic_object_1 = new A();
+    A dynamic_object_2 = new A();
+    simple_function_should_export_imprecise_access_paths(dynamic_object_2);
+    output = dynamic_object_1.left_object;
+  }
 }

regression/LVSA/TestPreciseAccessPaths/Test.java

@@ -1,3 +1,5 @@
+import pytest
+
 from regression.LVSA.lvsa_driver import LvsaDriver
 
 
@@ -82,3 +84,15 @@ def test_get_list_node(tmpdir):
 
     value_set_expectation.check_number_of_values(1)
     value_set_expectation.check_contains_external_value_set()
+
+
+def test_check_using_imprecise_access_paths(tmpdir):
+    # This test should change when precise access paths have been implemented
+    lvsa_driver = LvsaDriver(tmpdir, folder_name).with_test_function('check_using_imprecise_access_paths')
+    lvsa_expectation = lvsa_driver.run()
+
+    value_set_expectation = lvsa_expectation.get_value_set_for_public_static('output')
+
+    value_set_expectation.check_number_of_values(2)
+    value_set_expectation.check_contains_null_object()
+    value_set_expectation.check_contains_dynamic_object()

regression/LVSA/TestPreciseAccessPaths/test_precise_access_paths.py

@@ -173,12 +173,9 @@ void local_value_set_analysist::transform_function_stub(
   std::map<exprt, local_value_sett::object_mapt> pre_call_rhs_value_sets;
   const std::string per_field_evs_prefix="external_objects";
 
-  std::set<std::pair<std::string, std::string> > lhs_written;
-
   for(const auto &assignment : assignments)
   {
     ++nstub_assignments;
-    const auto &lhs_fieldname=assignment.first;
     const auto &rhs_expr=assignment.second;
     if(pre_call_rhs_value_sets.count(rhs_expr))
       continue;
@@ -191,11 +188,6 @@ void local_value_set_analysist::transform_function_stub(
       const std::string &evse_label=
         id2string(to_constant_expr(evse.label()).get_value());
 
-      // Differentiate external-set entries that only contain
-      // their initialiser from ones that have been written:
-      if(!evse.is_initializer())
-        lhs_written.insert({lhs_fieldname.base_name, lhs_fieldname.field_name});
-
       if(has_prefix(evse_label, per_field_evs_prefix))
       {
         // This external value set denotes either all pointers stored in a
@@ -275,7 +267,6 @@ void local_value_set_analysist::transform_function_stub(
       // Ordinary value set member (not an external value set);
       // just add to the RHS map.
       valuesets.insert(rhs_map, rhs_expr);
-      lhs_written.insert({lhs_fieldname.base_name, lhs_fieldname.field_name});
     }
   }
 
@@ -295,12 +286,21 @@ void local_value_set_analysist::transform_function_stub(
       const auto find_pair=std::make_pair(
         lhs_fieldname.base_name,
         lhs_fieldname.field_name);
-      if(lhs_written.count(find_pair))
+
+      const bool rhs_is_initializer_per_field_evs =
+        assignment.second.id() == ID_external_value_set &&
+        to_external_value_set(assignment.second)
+            .get_external_value_set_type() ==
+          external_value_set_typet::PER_FIELD &&
+        to_external_value_set(assignment.second).is_initializer();
+      if(!rhs_is_initializer_per_field_evs)
+      {
         get_all_field_value_sets(
           lhs_fieldname.field_name,
           lhs_fieldname.declared_on_type,
           valuesets,
           lhs_entries);
+      }
 
       // Also write to the external value set itself, representing writes
       // whose effects are external to this context too: