diff options
| author | Adwin White <adwinw01@gmail.com> | 2024-09-19 10:22:32 +0800 |
|---|---|---|
| committer | Adwin White <adwinw01@gmail.com> | 2024-09-19 10:22:32 +0800 |
| commit | c4574cba3bb0b24532f43dbacc2c738d4b20394d (patch) | |
| tree | c4576f740905b699a223188ebfa4e13e195e8702 | |
| parent | 9ac23dde37efc573ef57efa92bdf63c2f05846a9 (diff) | |
Adapt test to new layout
| -rw-r--r-- | src/tools/miri/tests/fail/uninit/padding-enum.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/tests/fail/uninit/padding-enum.rs b/src/tools/miri/tests/fail/uninit/padding-enum.rs index a9628799b7d..4ba059caf8b 100644 --- a/src/tools/miri/tests/fail/uninit/padding-enum.rs +++ b/src/tools/miri/tests/fail/uninit/padding-enum.rs @@ -17,8 +17,8 @@ fn main() { assert!(matches!(*p.as_ptr(), E::None)); // Turns out the discriminant is (currently) stored - // in the 2nd pointer, so the first half is padding. - let c = &p as *const _ as *const u8; + // in the 1st pointer, so the second half is padding. + let c = (&p as *const mem::MaybeUninit<E>).byte_add(mem::size_of::<&'static ()>()) as *const u8; // Read a padding byte. let _val = *c.add(0); //~^ERROR: uninitialized |
