Page MenuHomeFreeBSD

netlink: Align allocations on __max_align_t, not uint64_t.
ClosedPublic

Authored by jhb on Aug 3 2023, 5:32 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sun, Mar 29, 9:10 AM
Unknown Object (File)
Thu, Mar 26, 3:28 AM
Unknown Object (File)
Thu, Mar 26, 3:28 AM
Unknown Object (File)
Thu, Mar 19, 2:45 AM
Unknown Object (File)
Thu, Mar 19, 2:45 AM
Unknown Object (File)
Thu, Mar 19, 2:45 AM
Unknown Object (File)
Fri, Mar 6, 8:44 PM
Unknown Object (File)
Feb 17 2026, 12:13 PM
Subscribers

Details

Summary

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.

Obtained from: CheriBSD
Sponsored by: DARPA

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable