| LL| |#![feature(coverage_attribute)] | |
| LL| |//@ edition: 2021 | |
| LL| |//@ compile-flags: -Zcoverage-options=condition | |
| LL| |//@ llvm-cov-flags: --show-branches=count | |
| LL| | | |
| LL| |use core::hint::black_box; | |
| LL| | | |
| LL| 2|fn simple_assign(a: bool) { | |
| LL| 2| let x = a; | |
| LL| 2| black_box(x); | |
| LL| 2|} | |
| LL| | | |
| LL| 3|fn assign_and(a: bool, b: bool) { | |
| LL| 3| let x = a && b; | |
| ^2 | |
| ------------------ | |
| | Branch (LL:13): [True: 2, False: 1] | |
| | Branch (LL:18): [True: 1, False: 1] | |
| ------------------ | |
| LL| 3| black_box(x); | |
| LL| 3|} | |
| LL| | | |
| LL| 3|fn assign_or(a: bool, b: bool) { | |
| LL| 3| let x = a || b; | |
| ^1 | |
| ------------------ | |
| | Branch (LL:13): [True: 2, False: 1] | |
| | Branch (LL:18): [True: 0, False: 1] | |
| ------------------ | |
| LL| 3| black_box(x); | |
| LL| 3|} | |
| LL| | | |
| LL| 4|fn assign_3_or_and(a: bool, b: bool, c: bool) { | |
| LL| 4| let x = a || b && c; | |
| ^2 ^1 | |
| ------------------ | |
| | Branch (LL:13): [True: 2, False: 2] | |
| | Branch (LL:18): [True: 1, False: 1] | |
| | Branch (LL:23): [True: 1, False: 0] | |
| ------------------ | |
| LL| 4| black_box(x); | |
| LL| 4|} | |
| LL| | | |
| LL| 4|fn assign_3_and_or(a: bool, b: bool, c: bool) { | |
| LL| 4| let x = a && b || c; | |
| ^2 ^3 | |
| ------------------ | |
| | Branch (LL:13): [True: 2, False: 2] | |
| | Branch (LL:18): [True: 1, False: 1] | |
| | Branch (LL:23): [True: 2, False: 1] | |
| ------------------ | |
| LL| 4| black_box(x); | |
| LL| 4|} | |
| LL| | | |
| LL| 3|fn foo(a: bool) -> bool { | |
| LL| 3| black_box(a) | |
| LL| 3|} | |
| LL| | | |
| LL| 3|fn func_call(a: bool, b: bool) { | |
| LL| 3| foo(a && b); | |
| ^2 | |
| ------------------ | |
| | Branch (LL:9): [True: 2, False: 1] | |
| | Branch (LL:14): [True: 1, False: 1] | |
| ------------------ | |
| LL| 3|} | |
| LL| | | |
| LL| |#[coverage(off)] | |
| LL| |fn main() { | |
| LL| | simple_assign(true); | |
| LL| | simple_assign(false); | |
| LL| | | |
| LL| | assign_and(true, false); | |
| LL| | assign_and(true, true); | |
| LL| | assign_and(false, false); | |
| LL| | | |
| LL| | assign_or(true, false); | |
| LL| | assign_or(true, true); | |
| LL| | assign_or(false, false); | |
| LL| | | |
| LL| | assign_3_or_and(true, false, false); | |
| LL| | assign_3_or_and(true, true, false); | |
| LL| | assign_3_or_and(false, false, true); | |
| LL| | assign_3_or_and(false, true, true); | |
| LL| | | |
| LL| | assign_3_and_or(true, false, false); | |
| LL| | assign_3_and_or(true, true, false); | |
| LL| | assign_3_and_or(false, false, true); | |
| LL| | assign_3_and_or(false, true, true); | |
| LL| | | |
| LL| | func_call(true, false); | |
| LL| | func_call(true, true); | |
| LL| | func_call(false, false); | |
| LL| |} | |