coverage: Add branch coverage support for let-else

Author: Zalathar

compiler/rustc_mir_build/src/build/coverageinfo.rs

@@ -138,7 +138,7 @@ impl BranchInfoBuilder {
         condition_info.map(|cond_info| (decision_depth, cond_info))
     }
 
-    fn add_two_way_branch<'tcx>(
+    pub(crate) fn add_two_way_branch<'tcx>(
         &mut self,
         cfg: &mut CFG<'tcx>,
         source_info: SourceInfo,

compiler/rustc_mir_build/src/build/matches/mod.rs

@@ -2452,6 +2452,13 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
                 None,
                 true,
             );
+
+            // If branch coverage is enabled, record this branch.
+            if let Some(branch_info) = this.coverage_branch_info.as_mut() {
+                let source_info = SourceInfo { span: pattern.span, scope: this.source_scope };
+                branch_info.add_two_way_branch(&mut this.cfg, source_info, matching, failure);
+            }
+
             this.break_for_else(failure, this.source_info(initializer_span));
             matching.unit()
         });

tests/coverage/branch/let-else.cov-map

@@ -1,13 +1,16 @@
 Function name: let_else::let_else
-Raw bytes (38): 0x[01, 01, 02, 05, 09, 09, 02, 06, 01, 0c, 01, 01, 10, 02, 03, 0e, 00, 0f, 05, 00, 13, 00, 18, 09, 01, 09, 01, 0f, 02, 04, 05, 00, 0b, 07, 01, 01, 00, 02]
+Raw bytes (45): 0x[01, 01, 02, 05, 09, 09, 02, 07, 01, 0c, 01, 01, 10, 20, 02, 09, 03, 09, 00, 10, 02, 00, 0e, 00, 0f, 05, 00, 13, 00, 18, 09, 01, 09, 01, 0f, 02, 04, 05, 00, 0b, 07, 01, 01, 00, 02]
 Number of files: 1
 - file 0 => global file 1
 Number of expressions: 2
 - expression 0 operands: lhs = Counter(1), rhs = Counter(2)
 - expression 1 operands: lhs = Counter(2), rhs = Expression(0, Sub)
-Number of file 0 mappings: 6
+Number of file 0 mappings: 7
 - Code(Counter(0)) at (prev + 12, 1) to (start + 1, 16)
-- Code(Expression(0, Sub)) at (prev + 3, 14) to (start + 0, 15)
+- Branch { true: Expression(0, Sub), false: Counter(2) } at (prev + 3, 9) to (start + 0, 16)
+    true  = (c1 - c2)
+    false = c2
+- Code(Expression(0, Sub)) at (prev + 0, 14) to (start + 0, 15)
     = (c1 - c2)
 - Code(Counter(1)) at (prev + 0, 19) to (start + 0, 24)
 - Code(Counter(2)) at (prev + 1, 9) to (start + 1, 15)

tests/coverage/branch/let-else.coverage

@@ -14,6 +14,9 @@
    LL|       |
    LL|      3|    let Some(x) = value else {
                            ^2
+  ------------------
+  |  Branch (LL:9): [True: 2, False: 1]
+  ------------------
    LL|      1|        say("none");
    LL|      1|        return;
    LL|       |    };