diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-12-02 20:18:02 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-12-02 20:18:02 +0000 |
| commit | e8e35c81271a78c59336b54dcd3b65ae13122bf4 (patch) | |
| tree | b88cd595a4ebd00d4b04c12dd07dbe0cbaa1b0c4 | |
| parent | 97f03cb8987cc115746845f5d3eab9ee8e7523d1 (diff) | |
| download | rust-e8e35c81271a78c59336b54dcd3b65ae13122bf4.tar.gz rust-e8e35c81271a78c59336b54dcd3b65ae13122bf4.zip | |
FileCheck bad_op_unsafe_oob_for_slices.
| -rw-r--r-- | tests/mir-opt/const_prop/bad_op_unsafe_oob_for_slices.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/mir-opt/const_prop/bad_op_unsafe_oob_for_slices.rs b/tests/mir-opt/const_prop/bad_op_unsafe_oob_for_slices.rs index 38c97a4cf0e..266105c11f2 100644 --- a/tests/mir-opt/const_prop/bad_op_unsafe_oob_for_slices.rs +++ b/tests/mir-opt/const_prop/bad_op_unsafe_oob_for_slices.rs @@ -1,4 +1,3 @@ -// skip-filecheck // unit-test: ConstProp // EMIT_MIR_FOR_EACH_PANIC_STRATEGY // EMIT_MIR_FOR_EACH_BIT_WIDTH @@ -6,6 +5,10 @@ // EMIT_MIR bad_op_unsafe_oob_for_slices.main.ConstProp.diff #[allow(unconditional_panic)] fn main() { + // CHECK-LABEL: fn main( + // CHECK: debug a => [[a:_.*]]; + // CHECK: debug _b => [[b:_.*]]; + // CHECK: [[b]] = (*[[a]])[3 of 4]; let a: *const [_] = &[1, 2, 3]; unsafe { let _b = (*a)[3]; |