diff options
| author | Oneirical <manchot@videotron.ca> | 2025-07-13 16:39:45 -0400 |
|---|---|---|
| committer | Oneirical <manchot@videotron.ca> | 2025-08-10 11:54:15 -0400 |
| commit | aa543963c68061d9ca46037071d66a028626ff3f (patch) | |
| tree | 2d6e7de7e1b2fe2176d81f48a456a05ef1b06dff /tests/ui/packed | |
| parent | f8e355c230c6eb7b78ffce6a92fd81f78c890524 (diff) | |
| download | rust-aa543963c68061d9ca46037071d66a028626ff3f.tar.gz rust-aa543963c68061d9ca46037071d66a028626ff3f.zip | |
Rehome tests/ui/issues/ tests [4/?]
Diffstat (limited to 'tests/ui/packed')
| -rw-r--r-- | tests/ui/packed/misaligned-reference-drop-field-99838.rs | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/tests/ui/packed/misaligned-reference-drop-field-99838.rs b/tests/ui/packed/misaligned-reference-drop-field-99838.rs new file mode 100644 index 00000000000..58e168162cb --- /dev/null +++ b/tests/ui/packed/misaligned-reference-drop-field-99838.rs @@ -0,0 +1,41 @@ +// https://github.com/rust-lang/rust/issues/99838 +//@ run-pass + +use std::hint; + +struct U16(#[allow(dead_code)] u16); + +impl Drop for U16 { + fn drop(&mut self) { + // Prevent LLVM from optimizing away our alignment check. + assert!(hint::black_box(self as *mut U16 as usize) % 2 == 0); + } +} + +struct HasDrop; + +impl Drop for HasDrop { + fn drop(&mut self) {} +} + +struct Wrapper { + _a: U16, + b: HasDrop, +} + +#[repr(packed)] +struct Misalign(#[allow(dead_code)] u8, Wrapper); + +fn main() { + let m = Misalign( + 0, + Wrapper { + _a: U16(10), + b: HasDrop, + }, + ); + // Put it somewhere definitely even (so the `a` field is definitely at an odd address). + let m: ([u16; 0], Misalign) = ([], m); + // Move out one field, so we run custom per-field drop logic below. + let _x = m.1.1.b; +} |
