[rustc.git] / src / test / run-make-fulldeps / coverage / assert.rs

#![allow(unused_assignments)]
// expect-exit-status-101

fn might_fail_assert(one_plus_one: u32) {
    println!("does 1 + 1 = {}?", one_plus_one);
    assert_eq!(1 + 1, one_plus_one, "the argument was wrong");
}

fn main() -> Result<(),u8> {
    let mut countdown = 10;
    while countdown > 0 {
        if countdown == 1 {
            might_fail_assert(3);
        } else if countdown < 5 {
            might_fail_assert(2);
        }
        countdown -= 1;
    }
    Ok(())
}

// Notes:
//   1. Compare this program and its coverage results to those of the very similar test
//      `panic_unwind.rs`, and similar tests `abort.rs` and `try_error_result.rs`.
//   2. This test confirms the coverage generated when a program passes or fails an `assert!()` or
//      related `assert_*!()` macro.
//   3. Notably, the `assert` macros *do not* generate `TerminatorKind::Assert`. The macros produce
//      conditional expressions, `TerminatorKind::SwitchInt` branches, and a possible call to
//      `begin_panic_fmt()` (that begins a panic unwind, if the assertion test fails).
//   4. `TerminatoKind::Assert` is, however, also present in the MIR generated for this test
//      (and in many other coverage tests). The `Assert` terminator is typically generated by the
//      Rust compiler to check for runtime failures, such as numeric overflows.
Commit	Line	Data
fc512014 XL	1	#![allow(unused_assignments)]
	2	// expect-exit-status-101
	3
	4	fn might_fail_assert(one_plus_one: u32) {
	5	println!("does 1 + 1 = {}?", one_plus_one);
	6	assert_eq!(1 + 1, one_plus_one, "the argument was wrong");
	7	}
	8
	9	fn main() -> Result<(),u8> {
	10	let mut countdown = 10;
	11	while countdown > 0 {
	12	if countdown == 1 {
	13	might_fail_assert(3);
	14	} else if countdown < 5 {
	15	might_fail_assert(2);
	16	}
	17	countdown -= 1;
	18	}
	19	Ok(())
	20	}
	21
	22	// Notes:
	23	// 1. Compare this program and its coverage results to those of the very similar test
	24	// `panic_unwind.rs`, and similar tests `abort.rs` and `try_error_result.rs`.
	25	// 2. This test confirms the coverage generated when a program passes or fails an `assert!()` or
	26	// related `assert_*!()` macro.
	27	// 3. Notably, the `assert` macros do not generate `TerminatorKind::Assert`. The macros produce
	28	// conditional expressions, `TerminatorKind::SwitchInt` branches, and a possible call to
	29	// `begin_panic_fmt()` (that begins a panic unwind, if the assertion test fails).
	30	// 4. `TerminatoKind::Assert` is, however, also present in the MIR generated for this test
	31	// (and in many other coverage tests). The `Assert` terminator is typically generated by the
	32	// Rust compiler to check for runtime failures, such as numeric overflows.