1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
#![feature(coverage_attribute)]
//@ edition: 2021
//@ compile-flags: -Zcoverage-options=condition
//@ llvm-cov-flags: --show-branches=count
use core::hint::black_box;
fn simple_assign(a: bool) {
let x = a;
black_box(x);
}
fn assign_and(a: bool, b: bool) {
let x = a && b;
black_box(x);
}
fn assign_or(a: bool, b: bool) {
let x = a || b;
black_box(x);
}
fn assign_3_or_and(a: bool, b: bool, c: bool) {
let x = a || b && c;
black_box(x);
}
fn assign_3_and_or(a: bool, b: bool, c: bool) {
let x = a && b || c;
black_box(x);
}
fn foo(a: bool) -> bool {
black_box(a)
}
fn func_call(a: bool, b: bool) {
foo(a && b);
}
#[coverage(off)]
fn main() {
simple_assign(true);
simple_assign(false);
assign_and(true, false);
assign_and(true, true);
assign_and(false, false);
assign_or(true, false);
assign_or(true, true);
assign_or(false, false);
assign_3_or_and(true, false, false);
assign_3_or_and(true, true, false);
assign_3_or_and(false, false, true);
assign_3_or_and(false, true, true);
assign_3_and_or(true, false, false);
assign_3_and_or(true, true, false);
assign_3_and_or(false, false, true);
assign_3_and_or(false, true, true);
func_call(true, false);
func_call(true, true);
func_call(false, false);
}
|
