Merge pull request diffblue#274 from diffblue/fixes/dependence-graph-vs-call-control-dependencies

Unconditional control dependency fix

Author: chrisr-diffblue

regression/goto-analyzer/variable-sensitivity-dependence-graph15/test.desc

@@ -0,0 +1,11 @@
+CORE
+../dependence-graph15/main.c
+--show --dependence-graph-vs
+activate-multi-line-match
+^EXIT=0$
+^SIGNAL=0$
+Control dependencies: [0-9]+ \[UNCONDITIONAL\]\n(.*\n){2,3}.*g_out2 = t1;
+Control dependencies: [0-9]+ \[TRUE\]\n(.*\n){2,3}.*g_out1 = t2;
+Control dependencies: [0-9]+ \[FALSE\]\n(.*\n){2,3}.*g_out1 = 0;
+--
+^warning: ignoring

src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.cpp

@@ -97,14 +97,18 @@ void variable_sensitivity_dependence_domaint::transform(
       if(s->merge_control_dependencies(
            control_deps,
            control_dep_candidates,
-           control_dep_calls))
+           control_dep_calls,
+           control_dep_call_candidates))
         s->has_changed=true;
 
       control_deps.clear();
       control_dep_candidates.clear();
 
       control_dep_calls.clear();
       control_dep_calls.insert(from);
+
+      control_dep_call_candidates.clear();
+      control_dep_call_candidates.insert(from);
     }
   }
   else
@@ -161,19 +165,19 @@ void variable_sensitivity_dependence_domaint::control_dependencies(
 
   // Add new candidates
 
+  PRECONDITION(!control_dep_call_candidates.empty());
+
   if(from->is_goto() || from->is_assume())
     control_dep_candidates.insert(from);
   else if(from->is_end_function())
   {
     control_deps.clear();
     control_dep_candidates.clear();
     control_dep_calls.clear();
+    control_dep_call_candidates.clear();
     return;
   }
 
-  if(control_dep_candidates.empty())
-    return;
-
   // Compute postdominators if needed
 
   const goto_functionst &goto_functions=dep_graph.goto_functions;
@@ -242,10 +246,18 @@ void variable_sensitivity_dependence_domaint::control_dependencies(
       }
 
       control_deps.insert(std::make_pair(cd, branch));
-      control_dep_calls.clear();
     }
   }
 
+  if(control_deps.empty())
+  {
+    util_inplace_set_union(control_dep_calls, control_dep_call_candidates);
+  }
+  else
+  {
+    control_dep_calls.clear();
+  }
+
   // add edges to the graph
   for(const auto &c_dep : control_deps)
     dep_graph.add_dep(vs_dep_edget::kindt::CTRL, c_dep.first, to);
@@ -254,7 +266,8 @@ void variable_sensitivity_dependence_domaint::control_dependencies(
 bool variable_sensitivity_dependence_domaint::merge_control_dependencies(
   const control_depst &other_control_deps,
   const control_dep_candidatest &other_control_dep_candidates,
-  const control_dep_callst &other_control_dep_calls)
+  const control_dep_callst &other_control_dep_calls,
+  const control_dep_callst &other_control_dep_call_candidates)
 {
   bool changed=false;
 
@@ -313,6 +326,16 @@ bool variable_sensitivity_dependence_domaint::merge_control_dependencies(
 
   changed|=n!=control_dep_calls.size();
 
+  // Merge call control dependency candidates
+
+  n=control_dep_call_candidates.size();
+
+  control_dep_call_candidates.insert(
+      other_control_dep_call_candidates.begin(),
+      other_control_dep_call_candidates.end());
+
+   changed|=n!=control_dep_call_candidates.size();
+
   return changed;
 }
 
@@ -351,7 +374,8 @@ bool variable_sensitivity_dependence_domaint::merge(
   changed |= merge_control_dependencies(
     cast_b.control_deps,
     cast_b.control_dep_candidates,
-    cast_b.control_dep_calls);
+    cast_b.control_dep_calls,
+    cast_b.control_dep_call_candidates);
 
   has_changed=false;
   has_values=tvt::unknown();

src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.h

@@ -12,6 +12,7 @@
 
 #include <analyses/cfg_dominators.h>
 #include <util/graph.h>
+#include <util/container_utils.h>
 
 #include <ostream>
 
@@ -83,6 +84,7 @@ class variable_sensitivity_dependence_domaint:
     control_deps.clear();
     control_dep_candidates.clear();
     control_dep_calls.clear();
+    control_dep_call_candidates.clear();
   }
 
   virtual void make_top() override
@@ -94,6 +96,7 @@ class variable_sensitivity_dependence_domaint:
     control_deps.clear();
     control_dep_candidates.clear();
     control_dep_calls.clear();
+    control_dep_call_candidates.clear();
   }
 
   virtual void make_entry() override
@@ -179,6 +182,7 @@ class variable_sensitivity_dependence_domaint:
 
   typedef std::set<goto_programt::const_targett> control_dep_callst;
   control_dep_callst control_dep_calls;
+  control_dep_callst control_dep_call_candidates;
 
   void eval_data_deps(
     const exprt &expr, const namespacet &ns, data_depst &deps) const;
@@ -197,7 +201,8 @@ class variable_sensitivity_dependence_domaint:
   bool merge_control_dependencies(
     const control_depst &other_control_deps,
     const control_dep_candidatest &other_control_dep_candidates,
-    const control_dep_callst &other_control_dep_calls);
+    const control_dep_callst &other_control_dep_calls,
+    const control_dep_callst &other_control_dep_call_candidates);
 };
 
 class variable_sensitivity_dependence_grapht: