Merge pull request diffblue#28 from diffblue/cleanup/upstream_linting

marek-trtik · web-flow · commit e3f90d68755a · 2017-03-14T09:50:18.000Z
Adapt to linting of upstream
diff --git a/src/taint-analysis/taint_trace_recogniser.cpp b/src/taint-analysis/taint_trace_recogniser.cpp
@@ -533,7 +533,7 @@ void taint_algorithm_recognising_error_tracest::taint_recognise_error_traces(
   if (source_function_name!=sink_function_name)
   {
     std::unordered_set<irep_idt, dstring_hash> call_roots;
-    find_leaves_bellow_function(
+    find_leaves_below_function(
       program.get_inverted_call_graph(),
       source_function_name,
       call_roots);

Original file line number	Diff line number	Diff line change
`@@ -533,7 +533,7 @@ void taint_algorithm_recognising_error_tracest::taint_recognise_error_traces(`
`533`	`533`	`if (source_function_name!=sink_function_name)`
`534`	`534`	`{`
`535`	`535`	`std::unordered_set<irep_idt, dstring_hash> call_roots;`
`536`		`- find_leaves_bellow_function(`
	`536`	`+ find_leaves_below_function(`
`537`	`537`	`program.get_inverted_call_graph(),`
`538`	`538`	`source_function_name,`
`539`	`539`	`call_roots);`