[rustc.git] / src / test / ui / consts / const-points-to-static.rs

// compile-flags: -Zunleash-the-miri-inside-of-you
// stderr-per-bitwidth

#![allow(dead_code)]

const TEST: &u8 = &MY_STATIC;
//~^ ERROR it is undefined behavior to use this value
//~| encountered a reference pointing to a static variable

static MY_STATIC: u8 = 4;

fn main() {
}
Commit	Line	Data
dfeec247	1	// compile-flags: -Zunleash-the-miri-inside-of-you
cdc7bbd5	2	// stderr-per-bitwidth
dfeec247 XL	3
	4	#![allow(dead_code)]
	5
	6	const TEST: &u8 = &MY_STATIC;
f9f354fc	7	//~^ ERROR it is undefined behavior to use this value
17df50a5	8	//~\| encountered a reference pointing to a static variable
dfeec247 XL	9
	10	static MY_STATIC: u8 = 4;
	11
	12	fn main() {
	13	}