git: 9795f14ec40a - main - netlink: Align allocations on __max_align_t, not uint64_t.

From: John Baldwin <jhb_at_FreeBSD.org>
Date: Thu, 10 Aug 2023 18:14:03 UTC
The branch main has been updated by jhb:

URL: https://cgit.FreeBSD.org/src/commit/?id=9795f14ec40acbab93aabedf05d70e0256ce9bf5

commit 9795f14ec40acbab93aabedf05d70e0256ce9bf5
Author:     John Baldwin <jhb@FreeBSD.org>
AuthorDate: 2023-08-10 18:12:52 +0000
Commit:     John Baldwin <jhb@FreeBSD.org>
CommitDate: 2023-08-10 18:12:52 +0000

    netlink: Align allocations on __max_align_t, not uint64_t.
    
    uint64_t is not sufficient alignment for allocators on all platforms.
    On a CHERI platform pointers require 16 byte alignment, but also if a
    type contained a uint128_t or long double it would not be aligned
    correctly either.  C11 added max_align_t precisely to provide a
    portable type for allocators to use.
    
    Reviewed by:    melifaro
    Obtained from:  CheriBSD
    Sponsored by:   DARPA
    Differential Revision:  https://reviews.freebsd.org/D41301
---
 sys/netlink/netlink_message_parser.h | 4 ++--
 sys/netlink/netlink_snl.h            | 5 +++--
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/sys/netlink/netlink_message_parser.h b/sys/netlink/netlink_message_parser.h
index 0934057ac49f..0242177fdd26 100644
--- a/sys/netlink/netlink_message_parser.h
+++ b/sys/netlink/netlink_message_parser.h
@@ -41,12 +41,12 @@ struct linear_buffer {
 	char		*base;	/* Base allocated memory pointer */
 	uint32_t	offset;	/* Currently used offset */
 	uint32_t	size;	/* Total buffer size */
-};
+} __aligned(_Alignof(__max_align_t));
 
 static inline void *
 lb_alloc(struct linear_buffer *lb, int len)
 {
-	len = roundup2(len, sizeof(uint64_t));
+	len = roundup2(len, _Alignof(__max_align_t));
 	if (lb->offset + len > lb->size)
 		return (NULL);
 	void *data = (void *)(lb->base + lb->offset);
diff --git a/sys/netlink/netlink_snl.h b/sys/netlink/netlink_snl.h
index 0292725bd135..8bb7b076b7b7 100644
--- a/sys/netlink/netlink_snl.h
+++ b/sys/netlink/netlink_snl.h
@@ -33,6 +33,7 @@
 
 #include <assert.h>
 #include <errno.h>
+#include <stdalign.h>
 #include <stddef.h>
 #include <stdbool.h>
 #include <stdint.h>
@@ -74,7 +75,7 @@ struct linear_buffer {
 	uint32_t		offset;	/* Currently used offset */
 	uint32_t		size;	/* Total buffer size */
 	struct linear_buffer	*next;	/* Buffer chaining */
-};
+} __aligned(alignof(__max_align_t));
 
 static inline struct linear_buffer *
 lb_init(uint32_t size)
@@ -98,7 +99,7 @@ lb_free(struct linear_buffer *lb)
 static inline char *
 lb_allocz(struct linear_buffer *lb, int len)
 {
-	len = roundup2(len, sizeof(uint64_t));
+	len = roundup2(len, alignof(__max_align_t));
 	if (lb->offset + len > lb->size)
 		return (NULL);
 	void *data = (void *)(lb->base + lb->offset);