Coverage (branch mode): add missing is-current-function test (diffblue#781)

smowton · peterschrammel · commit a2f4ab3bfaf1 · 2017-04-07T15:49:55.000+01:00
With `--cover-function-only`, all coverage tests should be conditional on
the function containing the target matching `--function`; however this particular
case got missed out.
diff --git a/src/goto-instrument/cover.cpp b/src/goto-instrument/cover.cpp
@@ -1411,7 +1411,7 @@ void instrument_cover_goals(
         t->source_location.set_function(i_it->function);
       }
 
-      if(i_it->is_goto() && !i_it->guard.is_true())
+      if(i_it->is_goto() && !i_it->guard.is_true() && cover_curr_function)
       {
         std::string b=std::to_string(basic_blocks[i_it]);
         std::string true_comment=

Original file line number	Diff line number	Diff line change
`@@ -1411,7 +1411,7 @@ void instrument_cover_goals(`
`1411`	`1411`	`t->source_location.set_function(i_it->function);`
`1412`	`1412`	`}`
`1413`	`1413`
`1414`		`- if(i_it->is_goto() && !i_it->guard.is_true())`
	`1414`	`+ if(i_it->is_goto() && !i_it->guard.is_true() && cover_curr_function)`
`1415`	`1415`	`{`
`1416`	`1416`	`std::string b=std::to_string(basic_blocks[i_it]);`
`1417`	`1417`	`std::string true_comment=`