N2801 specifies what callers must know to free sized memory
engineeringcstandardsallocationmemoryProposed sized deallocation functions let callers supply allocation size and alignment. The wording preserves null-pointer behavior while making incorrect size information undefined behavior.