// ignore-wasm32 compiled with panic=abort by default
// unit-test: DataflowConstProp
// compile-flags: -Coverflow-checks=on

// EMIT_MIR checked.main.DataflowConstProp.diff
#[allow(arithmetic_overflow)]
fn main() {
    let a = 1;
    let b = 2;
    let c = a + b;

    let d = i32::MAX;
    let e = d + 1;
}