diff options
| author | Lzu Tao <taolzu@gmail.com> | 2024-05-20 20:15:31 +0000 |
|---|---|---|
| committer | Lzu Tao <taolzu@gmail.com> | 2024-06-09 07:35:24 +0000 |
| commit | 8bd6c04cfc41e9952408fb8bed2db9c7e12a0ee6 (patch) | |
| tree | 2047935221543ac1b8f2a8adaa0cb88be2669147 /tests/codegen/issues/issue-93036-assert-index.rs | |
| parent | 7d967ffa8df2ae74e4cff5d5ed7b53adedac00a2 (diff) | |
| download | rust-8bd6c04cfc41e9952408fb8bed2db9c7e12a0ee6.tar.gz rust-8bd6c04cfc41e9952408fb8bed2db9c7e12a0ee6.zip | |
add codegen test for #93036
Diffstat (limited to 'tests/codegen/issues/issue-93036-assert-index.rs')
| -rw-r--r-- | tests/codegen/issues/issue-93036-assert-index.rs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/codegen/issues/issue-93036-assert-index.rs b/tests/codegen/issues/issue-93036-assert-index.rs new file mode 100644 index 00000000000..9e4437cc656 --- /dev/null +++ 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()); + } + } +} + |