coverage: Add CoverageKind::BlockMarker

This commit is contained in:
Zalathar 2024-02-08 12:39:15 +11:00
parent 73475d0d59
commit c921ab1713
4 changed files with 24 additions and 2 deletions

View file

@ -225,6 +225,11 @@ fn filtered_statement_span(statement: &Statement<'_>) -> Option<Span> {
Some(statement.source_info.span)
}
StatementKind::Coverage(box mir::Coverage {
// Block markers are used for branch coverage, so ignore them here.
kind: CoverageKind::BlockMarker {..}
}) => None,
StatementKind::Coverage(box mir::Coverage {
// These coverage statements should not exist prior to coverage instrumentation.
kind: CoverageKind::CounterIncrement { .. } | CoverageKind::ExpressionUsed { .. }