summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/dataflow-const-prop/ref_without_sb.rs
blob: f53de3cf2d4cf6ddf96c1d09705a444fe12b0d41 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
// ignore-wasm32 compiled with panic=abort by default
// unit-test: DataflowConstProp

#[inline(never)]
fn escape<T>(x: &T) {}

#[inline(never)]
fn some_function() {}

// EMIT_MIR ref_without_sb.main.DataflowConstProp.diff
fn main() {
    let mut a = 0;
    escape(&a);
    a = 1;
    some_function();
    // This should currently not be propagated.
    let b = a;
}