mirror of
https://github.com/rust-lang/rust
synced 2024-09-30 13:54:31 +00:00
7667a91778
coverage: Optionally instrument the RHS of lazy logical operators (This is an updated version of #124644 and #124402. Fixes #124120.) When `||` or `&&` is used outside of a branching context (such as the condition of an `if`), the rightmost value does not directly influence any branching decision, so branch coverage instrumentation does not treat it as its own true-or-false branch. That is a correct and useful interpretation of “branch coverage”, but might be undesirable in some contexts, as described at #124120. This PR therefore adds a new coverage level `-Zcoverage-options=condition` that behaves like branch coverage, but also adds additional branch instrumentation to the right-hand-side of lazy boolean operators. --- As discussed at https://github.com/rust-lang/rust/issues/124120#issuecomment-2092394586, this is mainly intended as an intermediate step towards fully-featured MC/DC instrumentation. It's likely that we'll eventually want to remove this coverage level (rather than stabilize it), either because it has been incorporated into MC/DC instrumentation, or because it's getting in the way of future MC/DC work. The main appeal of landing it now is so that work on tracking conditions can proceed concurrently with other MC/DC-related work. ````@rustbot```` label +A-code-coverage |
||
|---|---|---|
| .. | ||
| bad-value.bad.stderr | ||
| bad-value.blank.stderr | ||
| bad-value.rs | ||
| coverage-options.bad.stderr | ||
| coverage-options.rs | ||
| mcdc-condition-limit.bad.stderr | ||
| mcdc-condition-limit.rs | ||
| off-values.rs | ||
| on-values.rs | ||