blob: 0a2774c78200915fb633fcd3f6e4d238517f3e84 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
// unit-test: DataflowConstProp
// compile-flags: -Zmir-enable-passes=+Inline
// EMIT_MIR inherit_overflow.main.DataflowConstProp.diff
// CHECK-LABEL: fn main(
fn main() {
// After inlining, this will contain a `CheckedBinaryOp`.
// Propagating the overflow is ok as codegen will just skip emitting the panic.
// CHECK: {{_.*}} = const (0_u8, true);
// CHECK-LABEL: assert(!const true,
let _ = <u8 as std::ops::Add>::add(255, 1);
}
|
