// EMIT_MIR_FOR_EACH_PANIC_STRATEGY | |
// unit-test: GVN | |
// compile-flags: -C overflow-checks=on | |
// EMIT_MIR checked_add.main.GVN.diff | |
fn main() { | |
// CHECK-LABEL: fn main( | |
// CHECK: debug x => [[x:_.*]]; | |
// CHECK: assert(!const false, | |
// CHECK: [[x]] = const 2_u32; | |
let x: u32 = 1 + 1; | |
} |