Merge pull request diffblue#224 from diffblue/variable-sensitivity-dependency-function-args

chrisr-diffblue · web-flow · commit e46891551a3c · 2018-07-16T15:22:45.000+01:00
Include function call arguments in variable sensitivity dependency graph
diff --git a/src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.cpp b/src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.cpp
@@ -124,6 +124,15 @@ void variable_sensitivity_dependence_domaint::data_dependencies(
 
     eval_data_deps(inst.rhs(), ns, domain_data_deps);
   }
+  else if (to->is_function_call())
+  {
+    const code_function_callt &call = to_code_function_call(to->code);
+    const code_function_callt::argumentst &args= call.arguments();
+    for(const auto arg : args)
+    {
+      eval_data_deps(arg, ns, domain_data_deps);
+    }
+  }
 }
 
 void variable_sensitivity_dependence_domaint::control_dependencies(

Original file line number	Diff line number	Diff line change
`@@ -124,6 +124,15 @@ void variable_sensitivity_dependence_domaint::data_dependencies(`
`124`	`124`
`125`	`125`	`eval_data_deps(inst.rhs(), ns, domain_data_deps);`
`126`	`126`	`}`
	`127`	`+ else if (to->is_function_call())`
	`128`	`+ {`
	`129`	`+ const code_function_callt &call = to_code_function_call(to->code);`
	`130`	`+ const code_function_callt::argumentst &args= call.arguments();`
	`131`	`+ for(const auto arg : args)`
	`132`	`+ {`
	`133`	`+ eval_data_deps(arg, ns, domain_data_deps);`
	`134`	`+ }`
	`135`	`+ }`
`127`	`136`	`}`
`128`	`137`
`129`	`138`	`void variable_sensitivity_dependence_domaint::control_dependencies(`