[rustc.git] / src / test / ui / consts / const-eval / heap / dealloc_intrinsic_dangling.rs

#![feature(core_intrinsics)]
#![feature(const_heap)]
#![feature(const_mut_refs)]

use std::intrinsics;

const _X: &'static u8 = unsafe {
    let ptr = intrinsics::const_allocate(4, 4);
    intrinsics::const_deallocate(ptr, 4, 4);
    &*ptr
    //~^ error: evaluation of constant value failed
};

const _Y: u8 = unsafe {
    let ptr = intrinsics::const_allocate(4, 4);
    let reference = &*ptr;
    intrinsics::const_deallocate(ptr, 4, 4);
    *reference
    //~^ error: evaluation of constant value failed
};

fn main() {}
Commit	Line	Data
5099ac24 FG	1	#![feature(core_intrinsics)]
	2	#![feature(const_heap)]
	3	#![feature(const_mut_refs)]
	4
	5	use std::intrinsics;
	6
	7	const _X: &'static u8 = unsafe {
	8	let ptr = intrinsics::const_allocate(4, 4);
	9	intrinsics::const_deallocate(ptr, 4, 4);
	10	&*ptr
	11	//~^ error: evaluation of constant value failed
	12	};
	13
	14	const _Y: u8 = unsafe {
	15	let ptr = intrinsics::const_allocate(4, 4);
	16	let reference = &*ptr;
	17	intrinsics::const_deallocate(ptr, 4, 4);
	18	*reference
	19	//~^ error: evaluation of constant value failed
	20	};
	21
	22	fn main() {}