summaryrefslogtreecommitdiffstats
path: root/tests/coverage/loops_branches.rs
blob: f3a343bcc1f425588ad28ff4a1e56cf52bc2f379 (plain)
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
#![allow(unused_assignments, unused_variables, while_true)]

// This test confirms that (1) unexecuted infinite loops are handled correctly by the
// InstrumentCoverage MIR pass; and (2) Counter Expressions that subtract from zero can be dropped.

struct DebugTest;

impl std::fmt::Debug for DebugTest {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
        if true {
            if false {
                while true {}
            }
            write!(f, "cool")?;
        } else {
        }

        for i in 0..10 {
            if true {
                if false {
                    while true {}
                }
                write!(f, "cool")?;
            } else {
            }
        }
        Ok(())
    }
}

struct DisplayTest;

impl std::fmt::Display for DisplayTest {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
        if false {
        } else {
            if false {
                while true {}
            }
            write!(f, "cool")?;
        }
        for i in 0..10 {
            if false {
            } else {
                if false {
                    while true {}
                }
                write!(f, "cool")?;
            }
        }
        Ok(())
    }
}

fn main() {
    let debug_test = DebugTest;
    println!("{:?}", debug_test);
    let display_test = DisplayTest;
    println!("{}", display_test);
}