From d2571591f4f17ceca1371b84ea9c2032adec3eab Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 9 Sep 2024 16:11:17 +0200
Subject: [PATCH] fix UB in a test

also add an explicit test for the fact that a Option<WidePtr> has padding when it is None
---
 core/tests/mem.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/core/tests/mem.rs b/core/tests/mem.rs
index b7eee10ec3f9c..f3b4387f6a898 100644
--- a/core/tests/mem.rs
+++ b/core/tests/mem.rs
@@ -773,15 +773,20 @@ fn offset_of_addr() {
 #[test]
 fn const_maybe_uninit_zeroed() {
     // Sanity check for `MaybeUninit::zeroed` in a realistic const situation (plugin array term)
+
+    // It is crucial that this type has no padding!
     #[repr(C)]
     struct Foo {
-        a: Option<&'static str>,
+        a: Option<&'static u8>,
         b: Bar,
         c: f32,
+        _pad: u32,
         d: *const u8,
     }
+
     #[repr(C)]
     struct Bar(usize);
+
     struct FooPtr(*const Foo);
     unsafe impl Sync for FooPtr {}