blob: f7fac8890a05762fd64c7de321b214b290482a0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// skip-filecheck
// unit-test: DataflowConstProp
// compile-flags: -Coverflow-checks=on
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
// 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;
}
|
