Merge pull request #6641 from tautschnig/bugfixes/6536-cover-built-in

tautschnig · web-flow · commit 3d29ab73cf3e · 2022-02-05T17:15:30.000+01:00
Block coverage reporting: do not use built-in locations
diff --git a/src/goto-instrument/cover_basic_blocks.cpp b/src/goto-instrument/cover_basic_blocks.cpp
@@ -65,6 +65,7 @@ cover_basic_blockst::cover_basic_blockst(const goto_programt &goto_program)
       !it->source_location().is_nil() &&
       !it->source_location().get_file().empty() &&
       !it->source_location().get_line().empty() &&
+      !it->source_location().is_built_in() &&
       block_info.source_location.is_nil())
     {
       block_info.representative_inst = it; // update

Original file line number	Diff line number	Diff line change
`@@ -65,6 +65,7 @@ cover_basic_blockst::cover_basic_blockst(const goto_programt &goto_program)`
`65`	`65`	`!it->source_location().is_nil() &&`
`66`	`66`	`!it->source_location().get_file().empty() &&`
`67`	`67`	`!it->source_location().get_line().empty() &&`
	`68`	`+ !it->source_location().is_built_in() &&`
`68`	`69`	`block_info.source_location.is_nil())`
`69`	`70`	`{`
`70`	`71`	`block_info.representative_inst = it; // update`