[rustc.git] / src / test / mir-opt / dataflow-const-prop / checked.rs

// 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;
}
Commit	Line	Data
487cf647 FG	1	// unit-test: DataflowConstProp
	2	// compile-flags: -Coverflow-checks=on
	3
	4	// EMIT_MIR checked.main.DataflowConstProp.diff
	5	#[allow(arithmetic_overflow)]
	6	fn main() {
	7	let a = 1;
	8	let b = 2;
	9	let c = a + b;
	10
	11	let d = i32::MAX;
	12	let e = d + 1;
	13	}