mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add codegen test for #93036

Browse Source
This commit is contained in:
Lzu Tao 2024-05-20 20:15:31 +00:00
parent 7d967ffa8d
commit 8bd6c04cfc
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
tests/codegen/issues/issue-93036-assert-index.rs Normal file
View File

@ -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());
}
}
}