diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2024-01-06 05:02:47 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2024-01-06 05:02:47 +0000 |
| commit | 46f53c8b5d576f3a9d8ff9c8857dad16f9e0dca7 (patch) | |
| tree | 95fdd1e5026ca6fb3299665c8c0ba76cbab39eb8 | |
| parent | 078f2280855dbc31be5e59c555bedb2cce4db2c1 (diff) | |
| download | rust-46f53c8b5d576f3a9d8ff9c8857dad16f9e0dca7.tar.gz rust-46f53c8b5d576f3a9d8ff9c8857dad16f9e0dca7.zip | |
fmt
| -rw-r--r-- | src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs | 7 | ||||
| -rw-r--r-- | src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs | 6 |
2 files changed, 11 insertions, 2 deletions
diff --git a/src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs b/src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs index 401927f5f6c..4468eb299f3 100644 --- a/src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs +++ b/src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs @@ -3,7 +3,12 @@ // Some targets treat arrays and structs very differently. We would probably catch that on those // targets since we check the `PassMode`; here we ensure that we catch it on *all* targets // (in particular, on x86-64 the pass mode is `Indirect` for both of these). -struct S(#[allow(dead_code)] i32, #[allow(dead_code)] i32, #[allow(dead_code)] i32, #[allow(dead_code)] i32); +struct S( + #[allow(dead_code)] i32, + #[allow(dead_code)] i32, + #[allow(dead_code)] i32, + #[allow(dead_code)] i32, +); type A = [i32; 4]; fn main() { diff --git a/src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs b/src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs index 06c0b683810..92d8f3237d0 100644 --- a/src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs +++ b/src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs @@ -1,6 +1,10 @@ //@compile-flags: -Zmiri-retag-fields=scalar -struct Newtype<'a>(#[allow(dead_code)] &'a mut i32, #[allow(dead_code)] i32, #[allow(dead_code)] i32); +struct Newtype<'a>( + #[allow(dead_code)] &'a mut i32, + #[allow(dead_code)] i32, + #[allow(dead_code)] i32, +); fn dealloc_while_running(_n: Newtype<'_>, dealloc: impl FnOnce()) { dealloc(); |
