if.coverage

   LL|       |#![feature(coverage_attribute)]
   LL|       |//@ edition: 2021
   LL|       |//@ min-llvm-version: 19
   LL|       |//@ compile-flags: -Zcoverage-options=mcdc
   LL|       |//@ llvm-cov-flags: --show-branches=count --show-mcdc
   LL|       |
   LL|      2|fn mcdc_check_neither(a: bool, b: bool) {
   LL|      2|    if a && b {
                          ^0
  ------------------
  |  Branch (LL:8): [True: 0, False: 2]
  |  Branch (LL:13): [True: 0, False: 0]
  ------------------
  |---> MC/DC Decision Region (LL:8) to (LL:14)
  |
  |  Number of Conditions: 2
  |     Condition C1 --> (LL:8)
  |     Condition C2 --> (LL:13)
  |
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2    Result
  |  1 { F,  -  = F      }
  |
  |  C1-Pair: not covered
  |  C2-Pair: not covered
  |  MC/DC Coverage for Decision: 0.00%
  |
  ------------------
   LL|      0|        say("a and b");
   LL|      2|    } else {
   LL|      2|        say("not both");
   LL|      2|    }
   LL|      2|}
   LL|       |
   LL|      2|fn mcdc_check_a(a: bool, b: bool) {
   LL|      2|    if a && b {
                          ^1
  ------------------
  |  Branch (LL:8): [True: 1, False: 1]
  |  Branch (LL:13): [True: 1, False: 0]
  ------------------
  |---> MC/DC Decision Region (LL:8) to (LL:14)
  |
  |  Number of Conditions: 2
  |     Condition C1 --> (LL:8)
  |     Condition C2 --> (LL:13)
  |
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2    Result
  |  1 { F,  -  = F      }
  |  2 { T,  T  = T      }
  |
  |  C1-Pair: covered: (1,2)
  |  C2-Pair: not covered
  |  MC/DC Coverage for Decision: 50.00%
  |
  ------------------
   LL|      1|        say("a and b");
   LL|      1|    } else {
   LL|      1|        say("not both");
   LL|      1|    }
   LL|      2|}
   LL|       |
   LL|      2|fn mcdc_check_b(a: bool, b: bool) {
   LL|      2|    if a && b {
  ------------------
  |  Branch (LL:8): [True: 2, False: 0]
  |  Branch (LL:13): [True: 1, False: 1]
  ------------------
  |---> MC/DC Decision Region (LL:8) to (LL:14)
  |
  |  Number of Conditions: 2
  |     Condition C1 --> (LL:8)
  |     Condition C2 --> (LL:13)
  |
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2    Result
  |  1 { T,  F  = F      }
  |  2 { T,  T  = T      }
  |
  |  C1-Pair: not covered
  |  C2-Pair: covered: (1,2)
  |  MC/DC Coverage for Decision: 50.00%
  |
  ------------------
   LL|      1|        say("a and b");
   LL|      1|    } else {
   LL|      1|        say("not both");
   LL|      1|    }
   LL|      2|}
   LL|       |
   LL|      3|fn mcdc_check_both(a: bool, b: bool) {
   LL|      3|    if a && b {
                          ^2
  ------------------
  |  Branch (LL:8): [True: 2, False: 1]
  |  Branch (LL:13): [True: 1, False: 1]
  ------------------
  |---> MC/DC Decision Region (LL:8) to (LL:14)
  |
  |  Number of Conditions: 2
  |     Condition C1 --> (LL:8)
  |     Condition C2 --> (LL:13)
  |
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2    Result
  |  1 { F,  -  = F      }
  |  2 { T,  F  = F      }
  |  3 { T,  T  = T      }
  |
  |  C1-Pair: covered: (1,3)
  |  C2-Pair: covered: (2,3)
  |  MC/DC Coverage for Decision: 100.00%
  |
  ------------------
   LL|      1|        say("a and b");
   LL|      2|    } else {
   LL|      2|        say("not both");
   LL|      2|    }
   LL|      3|}
   LL|       |
   LL|      4|fn mcdc_check_tree_decision(a: bool, b: bool, c: bool) {
   LL|      4|    // This expression is intentionally written in a way
   LL|      4|    // where 100% branch coverage indicates 100% mcdc coverage.
   LL|      4|    if a && (b || c) {
                           ^3   ^2
  ------------------
  |  Branch (LL:8): [True: 3, False: 1]
  |  Branch (LL:14): [True: 1, False: 2]
  |  Branch (LL:19): [True: 1, False: 1]
  ------------------
  |---> MC/DC Decision Region (LL:8) to (LL:21)
  |
  |  Number of Conditions: 3
  |     Condition C1 --> (LL:8)
  |     Condition C2 --> (LL:14)
  |     Condition C3 --> (LL:19)
  |
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2, C3    Result
  |  1 { F,  -,  -  = F      }
  |  2 { T,  F,  F  = F      }
  |  3 { T,  F,  T  = T      }
  |  4 { T,  T,  -  = T      }
  |
  |  C1-Pair: covered: (1,3)
  |  C2-Pair: covered: (2,4)
  |  C3-Pair: covered: (2,3)
  |  MC/DC Coverage for Decision: 100.00%
  |
  ------------------
   LL|      2|        say("pass");
   LL|      2|    } else {
   LL|      2|        say("reject");
   LL|      2|    }
   LL|      4|}
   LL|       |
   LL|      4|fn mcdc_check_not_tree_decision(a: bool, b: bool, c: bool) {
   LL|      4|    // Contradict to `mcdc_check_tree_decision`,
   LL|      4|    // 100% branch coverage of this expression does not indicate 100% mcdc coverage.
   LL|      4|    if (a || b) && c {
                           ^1
  ------------------
  |  Branch (LL:9): [True: 3, False: 1]
  |  Branch (LL:14): [True: 1, False: 0]
  |  Branch (LL:20): [True: 2, False: 2]
  ------------------
  |---> MC/DC Decision Region (LL:8) to (LL:21)
  |
  |  Number of Conditions: 3
  |     Condition C1 --> (LL:9)
  |     Condition C2 --> (LL:14)
  |     Condition C3 --> (LL:20)
  |
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2, C3    Result
  |  1 { T,  -,  F  = F      }
  |  2 { F,  T,  T  = T      }
  |  3 { T,  -,  T  = T      }
  |
  |  C1-Pair: not covered
  |  C2-Pair: not covered
  |  C3-Pair: covered: (1,3)
  |  MC/DC Coverage for Decision: 33.33%
  |
  ------------------
   LL|      2|        say("pass");
   LL|      2|    } else {
   LL|      2|        say("reject");
   LL|      2|    }
   LL|      4|}
   LL|       |
   LL|      3|fn mcdc_nested_if(a: bool, b: bool, c: bool) {
   LL|      3|    if a || b {
                          ^0
  ------------------
  |  Branch (LL:8): [True: 3, False: 0]
  |  Branch (LL:13): [True: 0, False: 0]
  ------------------
  |---> MC/DC Decision Region (LL:8) to (LL:14)
  |
  |  Number of Conditions: 2
  |     Condition C1 --> (LL:8)
  |     Condition C2 --> (LL:13)
  |
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2    Result
  |  1 { T,  -  = T      }
  |
  |  C1-Pair: not covered
  |  C2-Pair: not covered
  |  MC/DC Coverage for Decision: 0.00%
  |
  ------------------
   LL|      3|        say("a or b");
   LL|      3|        if b && c {
                              ^2
  ------------------
  |  Branch (LL:12): [True: 2, False: 1]
  |  Branch (LL:17): [True: 1, False: 1]
  ------------------
  |---> MC/DC Decision Region (LL:12) to (LL:18)
  |
  |  Number of Conditions: 2
  |     Condition C1 --> (LL:12)
  |     Condition C2 --> (LL:17)
  |
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2    Result
  |  1 { F,  -  = F      }
  |  2 { T,  F  = F      }
  |  3 { T,  T  = T      }
  |
  |  C1-Pair: covered: (1,3)
  |  C2-Pair: covered: (2,3)
  |  MC/DC Coverage for Decision: 100.00%
  |
  ------------------
   LL|      1|            say("b and c");
   LL|      2|        }
   LL|      0|    } else {
   LL|      0|        say("neither a nor b");
   LL|      0|    }
   LL|      3|}
   LL|       |
   LL|       |#[coverage(off)]
   LL|       |fn main() {
   LL|       |    mcdc_check_neither(false, false);
   LL|       |    mcdc_check_neither(false, true);
   LL|       |
   LL|       |    mcdc_check_a(true, true);
   LL|       |    mcdc_check_a(false, true);
   LL|       |
   LL|       |    mcdc_check_b(true, true);
   LL|       |    mcdc_check_b(true, false);
   LL|       |
   LL|       |    mcdc_check_both(false, true);
   LL|       |    mcdc_check_both(true, true);
   LL|       |    mcdc_check_both(true, false);
   LL|       |
   LL|       |    mcdc_check_tree_decision(false, true, true);
   LL|       |    mcdc_check_tree_decision(true, true, false);
   LL|       |    mcdc_check_tree_decision(true, false, false);
   LL|       |    mcdc_check_tree_decision(true, false, true);
   LL|       |
   LL|       |    mcdc_check_not_tree_decision(false, true, true);
   LL|       |    mcdc_check_not_tree_decision(true, true, false);
   LL|       |    mcdc_check_not_tree_decision(true, false, false);
   LL|       |    mcdc_check_not_tree_decision(true, false, true);
   LL|       |
   LL|       |    mcdc_nested_if(true, false, true);
   LL|       |    mcdc_nested_if(true, true, true);
   LL|       |    mcdc_nested_if(true, true, false);
   LL|       |}
   LL|       |
   LL|       |#[coverage(off)]
   LL|       |fn say(message: &str) {
   LL|       |    core::hint::black_box(message);
   LL|       |}