blob: a6b4f8857c3761c2534938e43d3ccc87d1677e9c [file] [log] [blame]
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
//@ unit-test: GVN
#[inline(never)]
fn read(_: usize) { }
// EMIT_MIR pointer_expose_address.main.GVN.diff
fn main() {
// CHECK-LABEL: fn main(
// CHECK: [[ptr:_.*]] = const main::FOO;
// CHECK: [[ref:_.*]] = &raw const (*[[ptr]]);
// CHECK: [[x:_.*]] = move [[ref]] as usize (PointerExposeAddress);
// CHECK: = read([[x]])
const FOO: &i32 = &1;
let x = FOO as *const i32 as usize;
read(x);
}