Skip to content

Enforce complete source-region coverage. - #11

Merged
samuel-williams-shopify merged 3 commits into
mainfrom
fix/unique-line-coverage
Oct 5, 2026
Merged

samuel-williams-shopify merged 3 commits into
mainfrom
fix/unique-line-coverage

Conversation

@samuel-williams-shopify

@samuel-williams-shopify samuel-williams-shopify commented Oct 4, 2026 •

Copy link
Copy Markdown
Contributor

Measure LLVM source regions without a text-based syntax-only filter, while retaining the explicit unreachable!() exclusion.

LLVM can map executable behavior to a span that contains only a delimiter or macro name, so classifying spans by source text can hide uncovered outcomes. The task now measures every LLVM-reported region except regions inside unreachable!() calls, and its coverage output and guidance reflect that policy. The regression test verifies that delimiter and macro-name spans remain measured.

@samuel-williams-shopify samuel-williams-shopify changed the title Count each executable source line once in coverage reports. Enforce complete source-region coverage. Oct 5, 2026
@samuel-williams-shopify
samuel-williams-shopify merged commit 93427f3 into main Oct 5, 2026
4 checks passed
@samuel-williams-shopify
samuel-williams-shopify deleted the fix/unique-line-coverage branch October 5, 2026 05:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant