diff options
| author | Ralf Jung <post@ralfj.de> | 2023-05-12 10:07:20 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-05-12 10:34:15 +0200 |
| commit | 97d3e4eba6401bbf88cdd3b0de5d58559da82120 (patch) | |
| tree | 268db993456f8d37af3aee2a1ecea11f5f57cc5c | |
| parent | 154c7a5e91ff9ebf8ab08d8f7db30ed2070e56a5 (diff) | |
| download | rust-97d3e4eba6401bbf88cdd3b0de5d58559da82120.tar.gz rust-97d3e4eba6401bbf88cdd3b0de5d58559da82120.zip | |
fmt
| -rw-r--r-- | src/tools/miri/tests/fail/intrinsics/simd-scatter.rs | 3 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/intrinsics/simd-scatter.stderr | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/tests/fail/intrinsics/simd-scatter.rs b/src/tools/miri/tests/fail/intrinsics/simd-scatter.rs index 606a6b2798a..98b6749c584 100644 --- a/src/tools/miri/tests/fail/intrinsics/simd-scatter.rs +++ b/src/tools/miri/tests/fail/intrinsics/simd-scatter.rs @@ -5,7 +5,8 @@ fn main() { unsafe { let mut vec: Vec<i8> = vec![10, 11, 12, 13, 14, 15, 16, 17, 18]; let idxs = Simd::from_array([9, 3, 0, 17]); - Simd::from_array([-27, 82, -41, 124]).scatter_select_unchecked( //~ERROR: pointer to 1 byte starting at offset 9 is out-of-bounds + Simd::from_array([-27, 82, -41, 124]).scatter_select_unchecked( + //~^ERROR: pointer to 1 byte starting at offset 9 is out-of-bounds &mut vec, Mask::splat(true), idxs, diff --git a/src/tools/miri/tests/fail/intrinsics/simd-scatter.stderr b/src/tools/miri/tests/fail/intrinsics/simd-scatter.stderr index 6d959af85fa..a745b61029d 100644 --- a/src/tools/miri/tests/fail/intrinsics/simd-scatter.stderr +++ b/src/tools/miri/tests/fail/intrinsics/simd-scatter.stderr @@ -2,6 +2,7 @@ error: Undefined Behavior: dereferencing pointer failed: ALLOC has size 9, so po --> $DIR/simd-scatter.rs:LL:CC | LL | / Simd::from_array([-27, 82, -41, 124]).scatter_select_unchecked( +LL | | LL | | &mut vec, LL | | Mask::splat(true), LL | | idxs, |