[rustc.git] / src / test / mir-opt / uninhabited-enum.rs

#![feature(never_type)]

pub enum Void {}

// EMIT_MIR uninhabited_enum.process_never.SimplifyLocals.after.mir
#[no_mangle]
pub fn process_never(input: *const !) {
   let _input = unsafe { &*input };
}

// EMIT_MIR uninhabited_enum.process_void.SimplifyLocals.after.mir
#[no_mangle]
pub fn process_void(input: *const Void) {
   let _input = unsafe { &*input };
   // In the future, this should end with `unreachable`, but we currently only do
   // unreachability analysis for `!`.
}

fn main() {}
Commit	Line	Data
0731742a XL	1	#![feature(never_type)]
	2
	3	pub enum Void {}
	4
3dfed10e	5	// EMIT_MIR uninhabited_enum.process_never.SimplifyLocals.after.mir
0731742a XL	6	#[no_mangle]
	7	pub fn process_never(input: *const !) {
	8	let _input = unsafe { &*input };
	9	}
	10
3dfed10e	11	// EMIT_MIR uninhabited_enum.process_void.SimplifyLocals.after.mir
0731742a XL	12	#[no_mangle]
	13	pub fn process_void(input: *const Void) {
	14	let _input = unsafe { &*input };
	15	// In the future, this should end with `unreachable`, but we currently only do
	16	// unreachability analysis for `!`.
	17	}
	18
	19	fn main() {}