[rustc.git] / src / test / ui / mir-dataflow / liveness-enum.rs

#![feature(core_intrinsics, rustc_attrs)]

use std::intrinsics::rustc_peek;

#[rustc_mir(rustc_peek_liveness, stop_after_dataflow)]
fn foo() -> Option<i32> {
    let mut x = None;

    // `x` is live here since it is used in the next statement...
    rustc_peek(x);

    dbg!(x);

    // But not here, since it is overwritten below
    rustc_peek(x); //~ ERROR rustc_peek: bit not set

    x = Some(4);

    x
}

fn main() {}
Commit	Line	Data
c295e0f8 XL	1	#![feature(core_intrinsics, rustc_attrs)]
	2
	3	use std::intrinsics::rustc_peek;
	4
	5	#[rustc_mir(rustc_peek_liveness, stop_after_dataflow)]
	6	fn foo() -> Option<i32> {
	7	let mut x = None;
	8
	9	// `x` is live here since it is used in the next statement...
	10	rustc_peek(x);
	11
	12	dbg!(x);
	13
	14	// But not here, since it is overwritten below
	15	rustc_peek(x); //~ ERROR rustc_peek: bit not set
	16
	17	x = Some(4);
	18
	19	x
	20	}
	21
	22	fn main() {}