about summary refs log tree commit diff
path: root/tests/codegen/inherit_overflow.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/codegen/inherit_overflow.rs')
-rw-r--r--tests/codegen/inherit_overflow.rs14
1 files changed, 0 insertions, 14 deletions
diff --git a/tests/codegen/inherit_overflow.rs b/tests/codegen/inherit_overflow.rs
deleted file mode 100644
index e4a5ef39fc5..00000000000
--- a/tests/codegen/inherit_overflow.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-//@ compile-flags: -Zmir-enable-passes=+Inline,+GVN --crate-type lib
-//@ revisions: ASSERT NOASSERT
-//@[ASSERT] compile-flags: -Coverflow-checks=on
-//@[NOASSERT] compile-flags: -Coverflow-checks=off
-
-// CHECK-LABEL: define{{.*}} @assertion
-// ASSERT: call void @{{.*4core9panicking11panic_const24panic_const_add_overflow}}
-// NOASSERT: ret i8 0
-#[no_mangle]
-pub fn assertion() -> u8 {
-    // Optimized MIR will replace this `CheckedBinaryOp` by `const (0, true)`.
-    // Verify that codegen does or does not emit the panic.
-    <u8 as std::ops::Add>::add(255, 1)
-}