// unit-test: DataflowConstProp

// EMIT_MIR if.main.DataflowConstProp.diff
fn main() {
    // This does not work (yet). Needs perhaps additional state to track unreachability.
    let a = 1;
    let b = if *&a == 1 { 2 } else { 3 };
    let c = b + 1;

    let d = if *&a == 1 { a } else { a + 1 };
    let e = d + 1;
}