add codegen test for rust-lang#93036

tesuji · Jun 8, 2024 · 7101d0c · 7101d0c
1 parent eeffa51
commit 7101d0c
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/tests/codegen/issues/issue-93036-assert-index.rs b/tests/codegen/issues/issue-93036-assert-index.rs
@@ -0,0 +1,18 @@
+//@ compile-flags: -O
+//@ min-llvm-version: 17
+
+#![crate_type = "lib"]
+
+#[no_mangle]
+// CHECK-LABEL: @foo
+// CHECK: {{.*}}:
+// CHECK: ret
+// CHECK-NOT: unreachable
+pub fn foo(arr: &mut [u32]) {
+    for i in 0..arr.len() {
+        for j in 0..i {
+            assert!(j < arr.len());
+        }
+    }
+}
+