diff options
| author | Dorian Péron <peron@adacore.com> | 2024-05-03 09:56:13 +0000 |
|---|---|---|
| committer | Dorian Péron <peron@adacore.com> | 2024-06-19 07:41:51 +0000 |
| commit | 6c7c824767e2e9c992da74e449da27889bbd4bb8 (patch) | |
| tree | 91e96cb537a365e499b0a134bd76c9e678e07c8f /compiler/rustc_mir_transform/src/coverage/tests.rs | |
| parent | acd6e4c0fd10ac356d2bddbf47595748d0e3f2db (diff) | |
| download | rust-6c7c824767e2e9c992da74e449da27889bbd4bb8.tar.gz rust-6c7c824767e2e9c992da74e449da27889bbd4bb8.zip | |
coverage: Make MCDC take in account last RHS of condition-coverage
Condition coverage extends branch coverage to treat the specific case of last operands of boolean decisions not involved in control flow. This is ultimately made for MCDC to be exhaustive on all boolean expressions. This patch adds a call to `visit_branch_coverage_operation` to track the top-level operand of the said decisions, and changes `visit_coverage_standalone_condition` so MCDC branch registration is called when enabled on these _last RHS_ cases.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/tests.rs')
0 files changed, 0 insertions, 0 deletions