diff options
| author | zhuyunxing <zhuyunxing.zyx@alibaba-inc.com> | 2024-04-19 10:43:53 +0800 |
|---|---|---|
| committer | zhuyunxing <zhuyunxing.zyx@alibaba-inc.com> | 2024-04-19 10:43:53 +0800 |
| commit | 68f86381ee9a5af00a6071773d54c00f032fe385 (patch) | |
| tree | 1390c8e2a3421656537a1a69dbe1c89bf66d5766 /compiler/rustc_mir_build/src/errors.rs | |
| parent | e3181b091e88321f5ea149afed6db0edf0a4f37b (diff) | |
| download | rust-68f86381ee9a5af00a6071773d54c00f032fe385.tar.gz rust-68f86381ee9a5af00a6071773d54c00f032fe385.zip | |
coverage. Add coverage-options=mcdc as gate for MC/DC instrument
Diffstat (limited to 'compiler/rustc_mir_build/src/errors.rs')
| -rw-r--r-- | compiler/rustc_mir_build/src/errors.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/compiler/rustc_mir_build/src/errors.rs b/compiler/rustc_mir_build/src/errors.rs index 26f10fdd333..9ddfb12bf76 100644 --- a/compiler/rustc_mir_build/src/errors.rs +++ b/compiler/rustc_mir_build/src/errors.rs @@ -819,6 +819,15 @@ pub struct NontrivialStructuralMatch<'tcx> { } #[derive(Diagnostic)] +#[diag(mir_build_exceeds_mcdc_condition_num_limit)] +pub(crate) struct MCDCExceedsConditionNumLimit { + #[primary_span] + pub span: Span, + pub conditions_num: usize, + pub max_conditions_num: usize, +} + +#[derive(Diagnostic)] #[diag(mir_build_pattern_not_covered, code = E0005)] pub(crate) struct PatternNotCovered<'s, 'tcx> { #[primary_span] |