upper_c_overflow-checks_eq-default-debug-assertions-n.rs

//@ run-pass
//@ compile-flags: -Cdebug-assertions=n

// If not specified, overflow checks are enabled if debug-assertions are
// enabled, disabled otherwise.

#[allow(arithmetic_overflow)]
fn main() {
    let x: i8 = 100;
    let y: i8 = 100;
    let z: i8 = x + y;
    assert_eq!(z, -56);
}

// ferrocene-annotations: um_rustc_C_overflow_checks