summaryrefslogtreecommitdiffstats
path: root/tests/ui/mir-dataflow/liveness-ptr.rs
blob: 786da523a339177d6d895108ed361483051fca80 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#![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() {}