tests/mir-opt/dataflow-const-prop/ref_without_sb.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// 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;
}