about summary refs log tree commit diff
path: root/tests/codegen/ub-checks.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/codegen/ub-checks.rs')
-rw-r--r--tests/codegen/ub-checks.rs28
1 files changed, 0 insertions, 28 deletions
diff --git a/tests/codegen/ub-checks.rs b/tests/codegen/ub-checks.rs
deleted file mode 100644
index 67f5bff08d5..00000000000
--- a/tests/codegen/ub-checks.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-// With -Zub-checks=yes (enabled by default by -Cdebug-assertions=yes) we will produce a runtime
-// check that the index to slice::get_unchecked is in-bounds of the slice. That is tested for by
-// tests/ui/precondition-checks/out-of-bounds-get-unchecked.rs
-//
-// This test ensures that such a runtime check is *not* emitted when debug-assertions are enabled,
-// but ub-checks are explicitly disabled.
-
-//@ revisions: DEBUG NOCHECKS
-//@ [DEBUG] compile-flags:
-//@ [NOCHECKS] compile-flags: -Zub-checks=no
-//@ compile-flags: -Copt-level=3 -Cdebug-assertions=yes
-
-#![crate_type = "lib"]
-
-use std::ops::Range;
-
-// CHECK-LABEL: @slice_get_unchecked(
-#[no_mangle]
-pub unsafe fn slice_get_unchecked(x: &[i32], i: usize) -> &i32 {
-    //    CHECK: icmp ult
-    // NOCHECKS: tail call void @llvm.assume
-    //    DEBUG: br i1
-    //    DEBUG: call core::panicking::panic_nounwind
-    //    DEBUG: unreachable
-    //    CHECK: getelementptr inbounds
-    //    CHECK: ret ptr
-    x.get_unchecked(i)
-}