| #![feature(coverage_attribute)] |
| //@ edition: 2021 |
| //@ compile-flags: -Zcoverage-options=branch |
| //@ llvm-cov-flags: --show-branches=count |
| |
| // Tests for branch coverage of various kinds of match arms. |
| |
| // Helper macro to prevent start-of-function spans from being merged into |
| // spans on the lines we care about. |
| macro_rules! no_merge { |
| () => { |
| for _ in 0..1 {} |
| }; |
| } |
| |
| #[derive(Clone, Copy, Debug)] |
| enum Enum { |
| A(u32), |
| B(u32), |
| C(u32), |
| D(u32), |
| } |
| |
| fn match_arms(value: Enum) { |
| no_merge!(); |
| |
| match value { |
| Enum::D(d) => consume(d), |
| Enum::C(c) => consume(c), |
| Enum::B(b) => consume(b), |
| Enum::A(a) => consume(a), |
| } |
| |
| consume(0); |
| } |
| |
| fn or_patterns(value: Enum) { |
| no_merge!(); |
| |
| match value { |
| Enum::D(x) | Enum::C(x) => consume(x), |
| Enum::B(y) | Enum::A(y) => consume(y), |
| } |
| |
| consume(0); |
| } |
| |
| fn guards(value: Enum, cond: bool) { |
| no_merge!(); |
| |
| match value { |
| Enum::D(d) if cond => consume(d), |
| Enum::C(c) if cond => consume(c), |
| Enum::B(b) if cond => consume(b), |
| Enum::A(a) if cond => consume(a), |
| _ => consume(0), |
| } |
| |
| consume(0); |
| } |
| |
| #[coverage(off)] |
| fn consume<T>(x: T) { |
| core::hint::black_box(x); |
| } |
| |
| #[coverage(off)] |
| fn main() { |
| #[coverage(off)] |
| fn call_everything(e: Enum) { |
| match_arms(e); |
| or_patterns(e); |
| for cond in [false, false, true] { |
| guards(e, cond); |
| } |
| } |
| |
| call_everything(Enum::A(0)); |
| for b in 0..2 { |
| call_everything(Enum::B(b)); |
| } |
| for c in 0..4 { |
| call_everything(Enum::C(c)); |
| } |
| for d in 0..8 { |
| call_everything(Enum::D(d)); |
| } |
| } |
| |
| // FIXME(#124118) Actually instrument match arms for branch coverage. |