| #![feature(core_intrinsics, rustc_attrs)] |
| |
| use std::intrinsics::rustc_peek; |
| |
| #[rustc_mir(rustc_peek_liveness, stop_after_dataflow)] |
| fn foo() -> i32 { |
| let mut x: i32; |
| let mut p: *const i32; |
| |
| x = 0; |
| |
| // `x` is live here since it is used in the next statement... |
| rustc_peek(x); |
| |
| p = &x; |
| |
| // ... but not here, even while it can be accessed through `p`. |
| rustc_peek(x); //~ ERROR rustc_peek: bit not set |
| let tmp = unsafe { *p }; |
| |
| x = tmp + 1; |
| |
| rustc_peek(x); |
| |
| x |
| } |
| |
| fn main() {} |
| |
| //~? ERROR stop_after_dataflow ended compilation |
