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);
}
|