diff options
| author | Dorian Péron <peron@adacore.com> | 2024-04-10 10:13:04 +0000 |
|---|---|---|
| committer | Dorian Péron <peron@adacore.com> | 2024-04-29 09:13:40 +0000 |
| commit | 60ca9b6e29975ab36e5460d761d99681bef0f130 (patch) | |
| tree | 7845b93e279e3d957f4931f3a5e4ab0c80c793d6 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | ae8c023983247044838a1a8b5f6fb5dd606fa68d (diff) | |
| download | rust-60ca9b6e29975ab36e5460d761d99681bef0f130.tar.gz rust-60ca9b6e29975ab36e5460d761d99681bef0f130.zip | |
mcdc-coverage: Get decision_depth from THIR lowering
Use decision context stack to handle nested decisions: - Introduce MCDCDecisionCtx - Use a stack of MCDCDecisionCtx to handle nested decisions
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
| -rw-r--r-- | compiler/rustc_mir_transform/src/coverage/mod.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/compiler/rustc_mir_transform/src/coverage/mod.rs b/compiler/rustc_mir_transform/src/coverage/mod.rs index a4c9e5ac0bc..159c099fac5 100644 --- a/compiler/rustc_mir_transform/src/coverage/mod.rs +++ b/compiler/rustc_mir_transform/src/coverage/mod.rs @@ -102,12 +102,23 @@ fn instrument_function_for_coverage<'tcx>(tcx: TyCtxt<'tcx>, mir_body: &mut mir: inject_mcdc_statements(mir_body, &basic_coverage_blocks, &coverage_spans); + let mcdc_max_decision_depth = coverage_spans + .mappings + .iter() + .filter_map(|bcb_mapping| match bcb_mapping.kind { + BcbMappingKind::MCDCDecision { decision_depth, .. } => Some(decision_depth), + _ => None, + }) + .max() + .unwrap_or(0); + mir_body.function_coverage_info = Some(Box::new(FunctionCoverageInfo { function_source_hash: hir_info.function_source_hash, num_counters: coverage_counters.num_counters(), mcdc_bitmap_bytes: coverage_spans.test_vector_bitmap_bytes(), expressions: coverage_counters.into_expressions(), mappings, + mcdc_max_decision_depth, })); } |
